Í sambandi við hvort mengi innihaldi sjálft sig: Ef mengið Z er stak í sjálfu sér má þá ekki segja að staka fjöldi Z sé 1. Z = { 1, 2, 3 | Z er stak í Z } => Z = { Z }. Z != { 1, 2, 3, Z ) þar sem mundi leiða til => Z = { 1, 3, 3, 1, 2, 3) EN eins og var kennt held ég í STÆ-10 þá má stytta mengi þ.e. mengi með staki sem kemur oftar en 1'sinni fyrir má skrifa bara 1 sinni X = { 1, 2, 3, 1, 2, 3 } == X = { 1, 2, 3 } Þar sem allur reikningur gefur sömu niðurstöðu. (AFAIK) Spr hvort þetta valdi...