Начало см. здесь.

Шрейдер Ю. А.
Равенство, сходство, порядок.

М.: Наука, 1971, cc. 5 — 8.

Первоначальные сведения о теории множеств см. здесь и здесь.

Раздел о полугруппах см. здесь.