Definition of raoult's law