Universal algebra
Algebraic structures
Conjunctive query
Database theory
Structure
Lattice
FO
Equivalence relation
Homomorphism
Congruence lattice problem