(Notice carefully that there are three distinct meanings for the relation symbol ≤ in this definition.)
(Παρατηρήστε προσεκτικά ότι υπάρχουν τρεις διαφορετικές σημασίες για το σχετικό σύμβολο ≤ στον ορισμό αυτό).