dunion { {1,2,3}, {4,5,6}} inter {1,6},
dinter { {1,2,3}, {1,2}} inter dinter power {1,2,3}