Let L denote the set of all straight lines in a plane. Let a relation R be defined by αRβ⇔α⊥β, α,β∈L. Then R is