thus Full MS is strict ; :: thesis: ( Full MS is additive & Full MS is absolutely-additive & Full MS is multiplicative & Full MS is absolutely-multiplicative & Full MS is properly-upper-bound & Full MS is properly-lower-bound )
thus ( the Family of (Full MS) is additive & the Family of (Full MS) is absolutely-additive & the Family of (Full MS) is multiplicative & the Family of (Full MS) is absolutely-multiplicative & the Family of (Full MS) is properly-upper-bound & the Family of (Full MS) is properly-lower-bound ) ; :: according to CLOSURE2:def 14,CLOSURE2:def 15,CLOSURE2:def 16,CLOSURE2:def 17,CLOSURE2:def 18,CLOSURE2:def 19 :: thesis: verum