You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on Create this page.
Trace: • idempotent_semirings • kleene_algebras • finite_ordered_semigroups • partially_ordered_sets • mv-algebras • universal_classes • neardistributive_lattices • commutative_ordered_monoids • directed_complete_partial_orders • regular_semigroups