logika mr t: Jak odczytywac ":" w definicjach matematycznych? Przykładow: ∀x₁;x₂ ∊ X : f(x₁) = f(x₂) ⇒ x₁=x₂ Jak powinno brzmieć to zdanie?

ICSP: Dla każdych x₁ , x₂ ze zbioru X z tego, że wartości funkcji f w punktach x₁ , x₂ są równe wynika, że x₁ i x₂ są równe.