Definition of boyle's law