Show all pages that mention first-order classes
Trace: • multiplicative_lattices • complemented_modular_lattices • finite_semilattices_with_identity • rectangular_bands • hoops • first-order_classes