 The type subscript \(\tau\) is added below as a reminder that the notions of universal set \(\rV\) and complement are each with regard to a given type (and so an empty set \(\emptyset\) will recur in each type.)