for x, y being object holds union {{x},{y}} = {x,y}