The following is the source code for post >>>/math/581
>>579
You specify the properties of an algebraic object, and you get a(n uncountably infinite) list of examples of it. The more properties you add, the more precise and limiting. It goes group, ring, to field in order of specificity.