bn:03716391n
Noun Concept
SYL
No term available
EN
Informally, a definable real number is a real number that can be uniquely specified by its description. Wikipedia
Relations
Sources