Todorcevic concerning the irredundance in Boolean algebras and we prove that for every maximal irredundant family #92;mathcal#123;F#125;#92;subsetC(K), there is a #92;pi-base #92;mathcal#123;B#125; for K with , a result analogous to the McKenzie Theorem for Boolean algebras in the context of compact spaces.
Source: wiktionary