abgroups/
fields/
groups/
monoids/
non_examples/
ordfields/
reals/
rings/
semigroups/
setoids/
structures/
Zmod/