Assertion: real number complex number | /r/HasProperty | closed under four arithmetic operations
Facets:
Source sentences:
text: In 1871 Richard Dedekind introduced, for a set of real or complex numbers that is closed under the four arithmetic operations, the German word Körper, which means "body" or "corpus" (to suggest an organically closed entity).