lign="justify">, Y 1 , Z 1 ) ~ ( X 2 , Y 2 , Z 2 ) якщо X 1 = l c X 2 < span align = "justify">, Y 1 = l d Y 2 , Z 1 = l Z 2 для деякого ненульового l ГЋ K.
Клас еквівалентності, що містить трійку ( X , Y , Z ) ГЋ K 3 {(0, 0, 0)}, позначимо наступним чином:
( X: Y : Z ) = {(l c X, l d Y, l Z ): l ГЋ K }.
Клас еквівалентності ( X: Y : Z ) називається проективної точкою, а ( X , Y , Z ) - її представником. Безліч всіх проективних точок позначається P ( K ). Слід зазначити, що якщо ( X , Y < span align = "justify">, Z ) ГЋ ( X:
