Este documento compara la definición de paralelismo y perpendicularidad en tres libros de geometría. El primer libro indica que la definición se cumple como una bicondicionalidad usando "si y sólo si". El segundo libro también presenta la definición como una bicondicionalidad aunque no usa la formalidad "si y sólo si". El tercer libro, destinado a la enseñanza media, no plantea la definición como una bicondicionalidad a pesar de basarse en el método de Euclides.