@trabkouszek
∀R[[(∀x∈R x≠∅)∧(∀x,y∈R (x≠y→x∩y=∅))]→∃S∀x∈R∃z[x∩S={z}]]
No tweets found