Oh Oh !

s inclus dans A
S <: A
se récrit :
s appartient à P * P
s : POW * POW

P étant le P de Powerset

C'est nouveau, ça vient de sortir

Et aussi :

s inclus dans A,
s <: A
se récrit :
s appartient à A.
s : A

Et encore :

s inclus dans A,
s <: A
se récrit :
{s} appartient à A
{s} : A


Et encore :

1 < x+1 < 10 donc
0 < x < 9 donc
x : 0..9
que je viens de lire plusieurs fois.

Et encore :
Une fonction partielle de A vers A est égale au produit cartésien de l'ensemble des sous-ensembles de A par l'ensemble des sous-ensembles de A.


Facile les maths et l'informatique !
Et heureusement que nous avons le bac, premier examen universitaire (oui, oui ! D'ailleurs le jury est présidé par un enseignant de l'enseignement postérieur (pardon, supérieur).