THE MATHS TAILOR
Chercher dans l'ordre :
1. 0∈/F ? (condition "=c" avec c=0)
2. Non stable par × ? (inégalité, signe → tester −v)
3. Non stable par + ? (condition non linéaire → tester u+v)
Exemples :
- (x,y):x+y=1 → ne contient pas (0,0)
- (x,y):x≤y → (0,1)∈F mais −(0,1)∈/F
- (x,y):xy=0 → (1,0)+(0,1)=(1,1)∈/F
