Un ensemble est une collection d’objets, par exemple, on peut prendre l’ensemble fini {0, 1, 3}, ou d’autres types d’ensemble qui sont infinis {x  de R, x ≥ 2}. La notation x qui appartient à E signifie x appartient à (ou est élément de) E. Sa négation est noté x qui n’appartient pas à E. On note Ø l’ensemble vide qui n’a aucun élément. Un ensemble ayant un élément x et un seul est appelé un singleton et est noté {x}.

Quantificateurs

• Un quantificateur universel  se lit « pour tout » ou « quel que soit ».
• Le quantificateur existentiel  se lit  » il existe au moins un élément »
• La notation ! signifie « il existe un et un seul élément »