\(\forall x,\exists y, (x,y)\in A\)
Chaque verticale coupe \(A\)
\(\forall y,\exists x, (x,y)\in A\)
La droite rouge est un contre-exemple
\(\exists y,\forall x, (x,y)\in A\)
La droite verte convient
\(\exists x,\forall y, (x,y)\in A\)
Chaque verticale contient des points qui ne sont pas dans \(A\)