> as lemmas
non-redundant
non-redundant adj. 
/ˌnɑnriˈdənd(ə)nt/
Brit. /ˌnɒnrᵻˈdʌnd(ə)nt/
, /ˌnɒnrᵻˈdʌnd(ə)nt/U.S. /ˌnɑnrəˈdənd(ə)nt/
, /ˌnɑnrəˈdənd(ə)nt//ˌnɑnriˈdənd(ə)nt/ΚΠ
1920 Amer. Math. Monthly 27 20 It is essential that a system of axioms should be consistent with each other, and desirable that they be non-redundant, and complete.
1939 Mind 48 399 Russell long ago emphasised that Peano's axioms, for instance, could be satisfied in infinitely many ways by objects other than the integers. The same is true of all nonredundant sets of axioms.
1998 N.Y. Mag. 20 Apr. 29/1 USA Networks Studios executive vice-president Henry Schleiff claims the move is also to keep the product ‘fresh and nonredundant’.
<
as lemmas