for x being set st x <> {} holds
x tohilb = id 1