for x, y being object
for Z being set st x in Z & y in Z holds
{x,y} /\ Z = {x,y} by Th31, XBOOLE_1:28;