These conditions usually take the form of assuming the existence of sufficiently many collineations of a certain type, which in turn leads to showing that the underlying algebraic coordinate system must be a division ring (skewfield).
Dessa villkor tar vanligen formen att förmoda existensen av tillräckligt många kollineationer av en speciell typ, vilket i sin tur leder till att visa att det underliggande algebraiska koordinatsystemet måste vara en divisionsring (skevkropp).