irredundance

From ir- +‎ redundance or irredundant +‎ -ance.

irredundance (uncountable)

1. (mathematics) The condition of being irredundant
   • 2016, Clayton Suguio Hida, “Two Cardinal Inequalities about Bidiscrete Systems”, in arXiv‎^[1]:

     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 ${\displaystyle }$, a result analogous to the McKenzie Theorem for Boolean algebras in the context of compact spaces.