Nombre	Adición	Multiplicación
Cerradura
Conmutativa
Asociativa
Neutro
Inverso
Distributiva
	Orden
Tricotomía
Transitiva
Preserva Orden bajo Adición
Preserva Orden bajo Multiplicación (0 < c)
Axioma del Supremo (da clic)	S) (En Otros modelos encontrarás su enunciado y algunas aplicaciones)