Complement of a set within a universe