Assertion: set's number | /r/DefinedAs | set e
Facets:
Source sentences:
text: p be the nth decimal of the nth real number defined by the set E; we form a number N having zero for the integral part and p + 1 for the nth decimal if p is not equal either to 8 or 9, and unity if p is equal to 8 or 9.