吸収元
集合 X 上の二項演算の全体の成す集合は関係の合成に関して、吸収元つきモノイドを成す。零元は空関係(つまり空集合)である。
閉区間 H = {0, 1 } に x ∧ y := min(x, y) で二項演算を定義したものは零付きモノイドであり、零元は最小元 0 で与えられる。
↑ 素朴な意味での集合全体は集合にはならないので、本項でいう意味のマグマや吸収元としては扱えない。ただし、普遍集合を一つ与えてその中での集合(これを「小さい集合」と呼ぶ)の意味でなら扱える。普遍集合のとり方には依らないという意味で特に明示しない。