反制限
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/13 03:22 UTC 版)
定義域 E, 終域 F の二項関係 R の、集合 A による定義域反制限 (domain anti-restriction) あるいは定義域減算 (domain subtraction) は、(E ∖ A) ◁ R と定義される。これは、A のすべての元を定義域 E から除くものである。しばしば A ⩤ R とも書かれる。同様に、二項関係 R の集合 B による値域反制限 (range anti-restriction) あるいは値域減算 (range subtraction) は、R ▷ (F ∖ B) で定義される。これは、B のすべての元を終域 F から除くものである。しばしば R ⩥ B と表記される。
※この「反制限」の解説は、「制限 (数学)」の解説の一部です。
「反制限」を含む「制限 (数学)」の記事については、「制限 (数学)」の概要を参照ください。
ウィキペディア小見出し辞書の「反制限」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 反制限のページへのリンク
