Aşağıdaki matematiksel tanımda bu koşullar sıralanmıştır .