:: deftheorem Def1 defines almost_trivial FIELD_3:def 1 :
for L being non empty doubleLoopStr holds
( L is almost_trivial iff for a being Element of L holds
( a = 1. L or a = 0. L ) );