This appendix contains an ontology for the basic concepts in abstract algebra. The first section gives properties of binary functions. The second section does the same for binary relations. In the third section, these properties are used in defining the a variety of common algebraic structures.

Wed Dec 7 13:23:42 PST 1994