for L being non empty RelStr holds id L is idempotent