Empyreal Set