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 (inférieur)
- ≥ \geq (supérieur)
- = = (égal)
- ≠ \neq (différent)
- ≈ \approx (à peu près égal)
- ≡ \equiv (équivalent)
- ∼ \sim (similaire)
- ≃ \simeq (à peu près similaire)
Ensembles
- ⊂ \subset (inclus)
- ⊃ \supset (contient)
- ∈ \in (appartient)
- ∋ \ni (ou \owns) (possède)
- ∉ \notin (n'appartient pas)
- ∣ \mid (ou | directement) (produit scalaire)
- ∥ \parallel (parralèle)
- ⊥ \perp (perpendiculaire)
- : : (défini par)
Voici celles qui associent des objets: les opérateurs binaires.
Opérateurs sur les nombres
- + + (addition)
- - - (soustraction)
- × \times (multiplication)
- ⋅ \cdot (produit)
- ± \pm (plus ou moins)
Opéarateurs sur les ensembles
- ∪ \cup (réunion)
- ∩ \cap (intersection)
- ∖ \setminus (privé de)
On peut aussi proposer de nouvelles opérations et leur attribuer un symbole tels que les suivants:
- ⊕ \oplus
- ⊖ \ominus
- ⊙ \odot
- ⊗ \otimes