Le texto fonte de Submagma (mathematica)

In [[mathematica]], <math>\boldsymbol{N}</math> es un '''submagma''' de <math>\boldsymbol{M}</math> <math>:\Leftrightarrow</math> <math>\boldsymbol{N} \le \boldsymbol{M}</math>
<math>:\Leftrightarrow</math> <math>\boldsymbol{M}</math> es un [[Magma (mathematica)|magma]] <math>\wedge</math> <math>\boldsymbol{N}</math> es un [[Magma (mathematica)|magma]]
<math>\wedge</math> <math>\exists M, N, \ast, \diamond</math> con <math>((M; \ast) = \boldsymbol{M} \; \wedge \; (N; \diamond) = \boldsymbol{N})</math> tal que
<math>(N \subseteq M \; \wedge \; \forall a, b \in N \; a \diamond b = a \ast b)</math>

In iste caso, <math>\boldsymbol{M}</math> es un '''supermagma''' de <math>\boldsymbol{N}</math>: <math>\boldsymbol{M} \ge \boldsymbol{N}</math>.

== Submagma proprie ==
<math>\boldsymbol{N}</math> es un '''submagma proprie''' de <math>\boldsymbol{M}</math> <math>:\Leftrightarrow</math> <math>\boldsymbol{N} < \boldsymbol{M}</math> <math>:\Leftrightarrow</math> <math>\boldsymbol{N} \le \boldsymbol{M} \; \wedge \; \boldsymbol{N} \neq \boldsymbol{M}</math>.

== Submagma trivial ==
Sia <math>\boldsymbol{M}</math> un magma. <math>\boldsymbol{N}</math> es un '''submagma trivial''' de <math>\boldsymbol{M}</math> <math>:\Leftrightarrow</math> (<math>\boldsymbol{N}</math> es le magma vacue) <math>\vee</math> <math>\boldsymbol{N} = \boldsymbol{M}</math>.

[[Categoria:Structuras algebric]]