3 ms·
> cotransitive (∀ x y z : X , x # y → x # z ∨ y # z). If you're looking for a concrete point of reference, cotransitivity is why binary search works.
by 082349872349872 2y ago
> cotransitive (∀ x y z : X , x # y → x # z ∨ y # z).
If you're looking for a concrete point of reference, cotransitivity is why binary search works.