# irredundance

Todorcevic concerning the irredundance in Boolean algebras and we prove that for every maximal irredundant family ${\displaystyle {\mathcal {F}}\subset C(K)}$, there is a ${\displaystyle \pi }$-base ${\displaystyle {\mathcal {B}}}$ for ${\displaystyle K}$ with , a result analogous to the McKenzie Theorem for Boolean algebras in the context of compact spaces.