Properties of set operation