This definition satisfies the three conditions above, and corresponds to the standard topology of the real line.
Ο ορισμός αυτός πληροί τις τρεις ανωτέρω προϋποθέσεις, και αντιστοιχεί με το πρότυπο της πραγματικής γραμμής στην τοπολογία.