for L being non empty Boolean RelStr holds 'not' (Bottom L) = Top L