satisfiesFieldAxioms
P158895
predicate
Indicates that the subject fulfills all the algebraic properties required to form a mathematical field, such as closure, associativity, distributivity, and the existence of additive and multiplicative identities and inverses.