Showing changes from revision #2 to #3:
Added | Removed | Changed
Definition
Axiom : For a space , is discrete if and only if for every universe is and an every locally-small Dedekind real numbers , the function is an equivalence , . where is the Dedekind real numbers.