Definition:Underlying Set of Structure