SUB STRUCTURE

Definition An object is a <SUB STRUCTURE> if and only if: it is a <STRUCTURE(math)>; it contains: a principal set S; a containing structure with principal set U, such that S is a subset of U