Seja A o conjunto de todas as retas de um dado plano e as seguintes propriedades:
i. ∀r \, \in \, A (r \parallel r)
ii. ∀r, \gamma \, \in \, A (r \parallel \gamma \rightarrow \gamma \parallel r)
iii. ∀r, \gamma, s \, \in \, A (r \parallel \gamma \land \gamma \parallel s \rightarrow r \parallel s)
Podemos afirmar que a relação de paralelismo entre duas retas é uma relação de: