Hogyan lehet bizonyítani az egyenlő készletek
Sok matematikai állítások, köztük sok tételek ebben a könyvben van, a következő formában. Mivel különböző definícióit két A és B Azt kell bizonyítani, hogy A = B.
A szokásos módon bizonyítani ezt az állítást bizonyítja két állítólagos terjed ki:
Bizonyíték az említett zárványok szerint kell elvégezni ezt a rendszert: Tekintsünk egy tetszőleges eleme megfelel a meghatározásnak kisebb (a bal oldalon a jel), és megállapítják, hogy ez is megfelel a meghatározása a nagyobb készlet (jobb oldalon a jel).
Példaként, az egyik ingatlan bizonyítani (törvények) disztributivitás az unió és a kereszteződés műveleteket:
1. Legyen egy - bármely elemét idő határozza meg a működés vagy az első esetben az azonos végleges következtetéseket, de akkor értelemszerűen, sebészet kap, hogy a második esetben a definíció következik, hogy ebből és meghatározás ismét és ezért hoztunk létre, hogy
2. Most akkor értelemszerűen a művelet van, és ha mind a zárványok készülnek. De aztán ha majd az első viszont azt jelenti, hogy mivel a második - Következésképpen, és így állításunkat.
Ugyanezzel a rendszer, akkor meg sok más műveletek tulajdonságainak meghatározza bevezetett fenti a köztük lévő kapcsolatok.