¹Ικανοποιεί το δεύτερο αξίωμα αριθμησιμότητας.