A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Tegyük fel, hogy és két, az -elemű halmaz bizonyos részhalmazaiból álló halmazrendszer a következő tulajdonságokkal. Bármely és esetén ; más szóval, egy felszálló rendszer -en. Bármely és esetén , vagyis egy leszálló rendszer. Igazoljuk, hogy |