Assertion: real number | /r/HasProperty | such that
Facets:
Source sentences:
text: There exists a real number 0 such that for every real a a
text: There exists a real number 1 such that for every real
text: For every real number a there exist a real number, denoted (-a), such that a + (–a) = 0