Es bestehe M {\displaystyle {}M} aus zwei Welten v {\displaystyle {}v} und w {\displaystyle {}w} mit der vollen Relation. Es gelte
Damit gilt
und somit