theorem Lemma2a: :: FUZNORM1:5

for a, b being Element of [.0,1.] holds min ((a + b),1) in [.0,1.]