Universal set, operations on sets