Relació ben fonamentada: diferència entre les revisions
Contingut suprimit Contingut afegit
m Robot afegeix: cs, ja, nl, ru, sk modifica: es |
Cap resum de modificació |
||
Línia 1:
{{MT}}
En [[matemàtica|matemàtiques]] una [[relació binaria]], ''R'', està '''ben fonamentada''' en una [[Classe_(matemàtiques)|classe]] ''X'' si i només si cada subconjunt no [[Conjunt buit|buit]] d' ''X'' te un [[element maximal|element minimal]] respecte de ''R''; Això és, per cada [[subconjunt]] no buit ''S'' d'''X'', existeix un element ''m'' de ''S'' tal que per cada element ''s'' de ''S'', la parella (''s'',''m'') no pertany a ''R'':
:<math>\forall S \subseteq X\;\, (S \neq \varnothing \to \exists m \in S\;\; \forall s \in S\;\, ( s, m) \notin R)</math>
| |||