∀x ∈ S, ∀z ∈ S, ∃y ∈ C,(x != z) ⇒ ¬(T(x, y) ∧ T(z, y))
I'm trying to express this in English, but I can't use the variables x or y in my sentence.
Basically it means for elements x in S, and all elements z in S, There exists a y in C, such that x being different than z implies.....
How can I say this without using the variables? Cheers.
"For any two different elements of the set $S$, there is an element of set $C$ which is not in the $T$ relation with both of them."