Miền nghiệm của bất phương trình $x-y<0$ là nửa mặt phẳng

(AI giải đề cho tôi)
Thay điểm $(0;1)$ vào $x-y$: $0-1=-1<0$ nên $(0;1)$ thuộc miền nghiệm. Thay $(1;0)$: $1-0=1>0$ nên $(1;0)$ không thuộc miền nghiệm. Vì bất phương trình là $x-y<0$ (không có dấu bằng) nên bờ $x-y=0$ không thuộc miền nghiệm. Vậy miền nghiệm là nửa mặt phẳng chứa điểm $(0;1)$ không kể bờ $x-y=0$.