group set conjunction (^)