Relations binaires

Les relations binaires permettent de comparer deux objets, on distingue deux catégories principales, celles pour les nombres et celles qu'on utilise plus généralement pour les ensembles.

Nombres

• <   <   (strictement inférieur)
• >   >   (strictement supérieur)
• $\leq$   \leq   (inférieur)
• $\geq$   \geq   (supérieur)
• =   =   (égal)
• $\neq$   \neq   (différent)
• $\approx$   \approx   (à peu près égal)
• $\equiv$   \equiv   (équivalent)
• $\sim$   \sim   (similaire)
• $\simeq$   \simeq   (à peu près similaire)

Ensembles

• $\subset$   \subset   (inclus)
• $\supset$   \supset   (contient)
• $\in$   \in   (appartient)
• $\ni$   \ni   (ou \owns)   (possède)
• $\notin$   \notin   (n'appartient pas)
• $\mid$   \mid   (ou | directement)   (produit scalaire)
• $\parallel$   \parallel   (parralèle)
• $\perp$   \perp   (perpendiculaire)
• :   :   (défini par)

Voici celles qui associent des objets: les opérateurs binaires.

Opérateurs sur les nombres

• +   +   (addition)
• -   -   (soustraction)
• $\times$   \times   (multiplication)
• $\cdot$   \cdot   (produit)
• $\pm$   \pm   (plus ou moins)

Opéarateurs sur les ensembles

• $\cup$   \cup   (réunion)
• $\cap$   \cap   (intersection)
• $\setminus$   \setminus   (privé de)

On peut aussi proposer de nouvelles opérations et leur attribuer un symbole tels que les suivants:

• $\oplus$   \oplus
• $\ominus$   \ominus
• $\odot$   \odot
• $\otimes$   \otimes