irredundance

English

Etymology

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

Noun

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 ${\mathcal {F}}\subset C(K)$, there is a $\pi$-base ${\mathcal {B}}$ for $K$ with ${\displaystyle }$, a result analogous to the McKenzie Theorem for Boolean algebras in the context of compact spaces.