In the usual Euclidean space, we can rewrite the formal definition in usual terms.
Tavalises eukleidilises ruumis saab uuesti kirjutada formaalse definitsiooni arusaadavamalt.