A set is a structure A = (A) with no operations or relations defined on A.
Let A and B be sets. A morphism from A to B is a function h : A→B.
|Congruence extension property||yes|
|Definable principal congruences||yes|
|Equationally definable principal congruences||no|
|Strong amalgamation property||yes|
|Epimorphisms are surjective||yes|