Tanım:
Öklid geometrisinin "Eğer bir doğru iki doğruyu kesiyorsa ve iç açıların toplamı iki dik açıdan küçük olan tarafından sonsuza devam edildiğinde , iki doğru mutlaka kesişirler" şeklinde belirtilen aksiyomu. Bu ifade paralel olmayan doğruların kesinlikle kesişeceğini, paralel olan doğruların ise hiç bir zaman kesişmeyeceğini belirtir.