Relacja równoważności magda: Czy relacja jest relacją równoważności? ARB⇔∀ a≥b ⋁ ∃ b≤a a∊A a∊A b∊B b∊B