You know the example "The space of functions from a set S to a field F" that's usually
given in a linear algebra text? Well they never give an example of the set they're working in
in detail so I defined the set as:
((S, (S x S, S, +)), ((F, (F x F, F, +')), (F x F, F, °)), (S x F, F, •))...