STRUCTURE(math)
Definition
A <STRUCTURE(math)> is an <AbstractObject> that is a set (or sometimes several sets) with various associated mathematical objects such as subsets, sets of subsets, operations and relations, all of which must satisfy various requirements (axioms)