Show all pages that mention first-order classes
Trace: • normal_bands • residual_size • metric_spaces • notation_and_terminology • directoids • commutative_semigroups • commutative_ordered_rings • rings_with_identity • partial_semigroups • first-order_classes