Definition:Underlying Set