for L being non empty antisymmetric bounded RelStr holds
( L is trivial iff Top L = Bottom L )