Universal set and absolute complement