irredundantadj.
/ɪrɪˈdʌndənt/ Mathematics.
Containing no redundant elements.
ΘΚΠ
the world > relative properties > number > mathematics > [adjective] > relating to mathematical property
simple1570
dissevered1605
periodicala1690
irreductible1753
analytical1799
analytic1800
compound1806
well-conditioned1843
one-valued1884
non-empty1905
well-behaved1912
minimax1917
irredundant1925
non-linear1930
constructive1938
extremal1939
max-min1949
meta-analytic1968
meta-analytic1978
1925 A. Church in Trans. Amer. Math. Soc. 27 318 A set of postulates is irredundant if the postulates are independent and no one of them can be weakened with respect to the set.
1957 IBM Jrnl. Res. & Devel. 1 175/2 To be irredundant the statement has to involve the complete list of reasons which are necessary and sufficient to make this prime implicant dispensable.
1965 R. E. Miller Switching Theory I. 195 An ‘irredundant cover’ of a complex has the property that if any cube is eliminated from the cover, the resulting set of cubes is no longer a cover.
1966 Math. Rev. 31 37/1 A factorization a = a1 a2…am of a into simple factors is irredundant if no product ai ai + 1…ai+ p, p > 0, is simple.
Derivatives
irreˈdundance n.
ΘΚΠ
the world > relative properties > number > mathematics > [noun] > mathematical property
irreductibility1865
utility1881
intransitivity1889
independence1902
non-linearity1904
connexity1905
analyticity1914
irredundance1925
irreflexiveness1933
decidability1936
non-emptiness1936
undecidability1942
irredundancy1952
irreflexivity1964
single-valuedness1968
1925 Trans. Amer. Math. Soc. 27 320 (heading) A criterion for irredundance.
irreˈdundancy n. the property of being irredundant.
ΘΚΠ
the world > relative properties > number > mathematics > [noun] > mathematical property
irreductibility1865
utility1881
intransitivity1889
independence1902
non-linearity1904
connexity1905
analyticity1914
irredundance1925
irreflexiveness1933
decidability1936
non-emptiness1936
undecidability1942
irredundancy1952
irreflexivity1964
single-valuedness1968
1952 Proc. Amer. Catholic Philos. Assoc. 26 112 f fulfills the irredundancy requirement.
1960 IRE Trans. Electronic Computers 9 248/2 Comparing all the resulting implications for irredundancy.
This entry has not yet been fully updated (first published 1976; most recently modified version published online June 2018).
<
adj.1925