The Postal Owl

Abychom dokázali, že $R = R^\prime$, dokažme, že 1. $R \sube R^\prime$ a 2. $R^\prime \sube R$ Bez újmy na obecnosti dokažme pouze, že $R \sube R^\prime$, důkaz pro bod druhý je obdobný. $\forall x,y: xRy \implies y \in [x]_R \underset{[x]_R = [x]_{R^\prime}}{\implies} y \in [x]_{R^\prime} \implies xR^\prime y$ $(\forall x,y: xRy \implies xR^\prime y) \implies R \sube R^\prime$ $(R \sube R^\prime \wedge R^\prime \sube R) \implies R = R^\prime$

Preview