2. Principales espèces de structures algébriques à un seul ensemble de base
• Espèces de structures de caractérisation typique S ∈ P(E×E)
Espèce de structure d'ensemble-binairé
Appelons ensemble-binairé un couple (E, R) tel que E soit un ensemble et R = (E, E, G) une relation binaire dans E [habituellement, un tel couple ne reçoit pas de nom, mais on dit parfois « ensemble muni d'une relation binaire », ce qui est un abus de langage lorsque l'on veut désigner par là l'ensemble E et non le couple (E, R)]. Le graphe G de la relation binaire R est une structure que l'on peut appeler structure d'ensemble-binairé ou structure de relation binaire et noter Seb, et l'espèce de structure d'ensemble-binairé a pour caractérisation typique Seb ∈ P(E×E). Un ensemble-binairé (E, R) est dit fini (respectivement infini) si l'ensemble E est fini (respectivement infini).
Soient (E, R) et (E', R') deux ensembles-binairés ; appelons morphisme d'ensembles-binairés de (E, R) vers (E', R') une application f de E dans E' telle que ∀ (a, b), [(a, b) ∈ E×E et R(a, b)] ⇒ R'(f (a), f (b)).
[…]… pour nos abonnés, l'article se prolonge sur 43 pages…



