The [[Underlying Set]] of an [[Algebraic Structure|Algebraic System]] is the [[Empty Set|nonempty]] [[Set|set]] $S$ in which the [[Algebraic Structure|algebraic system]] [[Operation|operates]] on.