Properties of Set Operation