"L'imbécile croit qu'il

n'existe aucun ensemble vide. Mais s'il en était ainsi, alors l'ensemble de tous les ensembles vides serait vide, et par conséquent, cet ensemble serait l'ensemble vide"

Van Fraasen, rédacteur en chef du Journal de logique philosophique cité par Boulanger et Cohen, p. 301

Au fait, en B il y a plusieurs ensembles vides.

Exemples :

SETS
COURS, PROF
VARIABLES
coursOuverts, profsEnPoste, enseignePar
INVARIANT
coursOuverts <: COURS &
profsAffectes <: PROFS &
enseignePar : coursOuverts +-> profsEnPoste
INITIALISATION
coursOuverts, profsEnPoste, enseignePar := {}, {}, {}

Je NE peux écrire que suite à cette initialisation :

coursOuverts = profsEnPoste &
enseignePar = profsEnPoste

Voir le concept d'ensemble de base (SETS).