A set with various associated mathematical objects such as subsets, sets of subsets, operations and relations, all of which must satisfy various requirements (axioms). The structure is defined as the collection of associated mathematical objects and the set is called the underlying set.