Descriptif complet

T⊆O×A O
TY Y ⊆ATY={x∈O|xT y, y ∈Y}
P Y →y Y ⊆P y ∈P
X⊆P Y ⊆X Y →y y ∈X

T
(j, m) (j, m)∈T
j m T ⊆O×A
O A