control over distancing keywords: [mathematics] [logic] [equivalence relations] [ur-elements]