Original: This is called as negative deviation from Raoult's law.
Simplified: This is known as Raoult's law.