for X, Y being set st <:{},X,Y:> is total holds
X = {}