\((x,y)\) berada pada ruas kiri jika dan hanya jika ada \(\alpha\in I\) dan \(\beta\in J\) dengan \(x\in U_\alpha\) dan \(y\in V_\beta\text{.}\) Ini ekuivalen dengan \(x\in\bigcup_\alpha U_\alpha\) dan \(y\in\bigcup_\beta V_\beta\text{,}\) yakni keanggotaan pada ruas kanan. Rubrik: kedua kuantor eksistensial harus dipisahkan dengan benar.