Definition:Underlying Set of Relational Structure