for L being non empty RelStr holds id L is directed-sups-preserving