Formal definitions of rings and fields.