for a, b, c being object holds dom <*a,b,c*> = {1,2,3}