irredundance
English[edit]
Etymology[edit]
ir + redundance
Noun[edit]
irredundance (plural irredundances)
 (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 , there is a base for with , a result analogous to the McKenzie Theorem for Boolean algebras in the context of compact spaces.
