検索結果

'''対称関係'''（たいしょうかんけい、{{lang-en-short|Symmetric relation}}）は、[[数学]]における[[二項関係]]の一種。[[集合]] ''X'' における二項関係 ''R'' が「対称」であるとは、''X'' に属する全ての ''a'' および ''b''… [[Category:二項関係]] …

…稠密関係'''（ちゅうみつかんけい、{{lang-en-short|''dense relation''}}）とは、[[集合]] ''X'' 上の[[二項関係]] ''R'' であって、''X'' の ''R''-関係にある任意の二元 ''x'', ''y'' に対し、''X'' の元 ''z'' で ''x …

'''完全関係'''（[[英語|英]]: '''Total relation'''）とは、[[数学]]における[[二項関係]]の一種。[[集合]] ''X'' における二項関係 ''R'' が「完全」であるとは、''X'' に属する全ての ''a'' および ''b''… …

'''非対称関係'''（[[英語|英]]: '''Asymmetric relation'''）とは、[[対称関係|対称的]]でない[[二項関係]]を意味する。 [[Category:二項関係]] …

…ょうかんけい、{{Lang-en-short|antisymmetric relation}}）とは、[[集合]] {{mvar|X}} に関する[[二項関係]] {{mvar|R}} であって、次の条件を満たすものをいう。 *[[二項関係]] …

[[数学]]における[[二項関係]]の'''合成'''（ごうせい、{{lang-en-short|composition}}）は、与えられた二つの関係 ''R'', ''S'' から新 二項関係 ''R'' ⊆ ''X'' × ''Y'' はしばしば、集合を対象とする[[関係の圏]] '''Rel''' における射 ''R …

'''反射関係'''（はんしゃかんけい、{{lang-en-short|reflexive relation}}）は、[[数学]]における[[二項関係]]の一種。二項関係には'''反射性''' (reflexivity) のものと'''無反射性''' (irreflexivity) のものがある（無反 [[Category:二項関係]] …

{{main|二項関係}} …', ''b'') ∈ ''G''(''f'')}} と置いて得られる {{math|''R''_''f''}} は[[二項関係]]である。逆に二項関係 {{math|''R'' ⊂ ''A'' × ''B''}} が与えられたとき、{{math|''a'' …

[[数学]]における[[二項関係]]の'''逆関係'''（ぎゃくかんけい、{{lang-en-short|''converse relation''}}）は、関係（のグラフ）に属する順 * 集合 ''X'' 上の[[二項関係]]全体の成す集合 '''B'''(''X'') は、関係を逆関係に写す操作を対合とする[[対合半群]]を成す。 …

[[状態遷移系|ラベル付き状態遷移系]] (S, Λ, →) について、「双模倣性」関係は S 上の[[二項関係]] R （すなわち、R ⊆ S × S）であり、R と R^-1 が共に [[:en:Simulation …

…ang-en-short|Transitive relation}}）は、[[数学]]における[[二項関係]]の一種。[[集合]] ''X'' の[[二項関係]] ''R'' が'''推移的'''であるとは、''X''の任意の元 ''a''、''b''、''c'' について、''a'' と ''b'' に… …

…'推移閉包'''（すいいへいほう、{{lang-en-short|transitive closure}}）は、[[集合]] ''X'' における[[二項関係]] ''R'' に対して、''R'' を含む ''X'' 上の最小の[[推移関係]] ''R''{{sup|+}} を意味する{{sfn|守屋|199 [[Category:二項関係]] …

より一般に、{{mvar|E}} と {{mvar|F}} の間のある[[二項関係]] {{mvar|R}} の制限（あるいは'''定義域制限'''または'''左制限'''）{{math|''A'' ◁ ''R''}} は、定義域が …{{math|''A'' ⩤ ''R''}} とも書かれる<ref>{{harvnb|Dunne|Stoddart|2006}}</ref>。同様に、二項関係 {{mvar|R}} の集合 {{mvar|B}} による'''値域反制限''' (''range anti-restriction'') あるいは' …

{{LaTeX|.}} では <code>\perp</code> を用いる{{refnest|これは[[二項関係]]を表す記号である<ref>{{citation …

'''多価関数'''（たかかんすう、{{lang-en-short|multivalued function}}）とは、[[二項関係#特殊な二項関係|全域的な関係]]のひとつであり、一つの入力が与えられたときに一つあるいは複数の出力を得るものである。しかし現代的な定義での[[関数_( …

…ル]] (S, &rarr;) で表され、S は状態の集合、&rarr; は &rarr; &sube; S &times; S という S 上の[[二項関係]]（つまり遷移）である。p,q &isin; S で (p,q) &isin; &rarr; であるとき、これを p &rarr; q と記述する。こ …

で定義される ''A'' &times; ''A'' の部分集合である。したがって、Ker(''f'') は始域の集合 ''A'' における[[二項関係]]を定める。この関係は（構造と両立する）[[同値関係]]になる。核 Ker(''f'') が'''自明'''であるとは Ker(''f'') = &D …

'''選好'''（せんこう、{{lang-en-short|''preference''}}）とは、選択肢の集合上に定義される[[二項関係]]である{{Refnest|group="†"|[[アマルティア・セン]] ([[1998年]][[ノーベル経済学賞|ノーベル賞]]受賞) は選好を「 選好関係<math>\succsim \subset S^2</math>によって、経済主体の意思決定に関する次の2つの基本的な[[二項関係]]が導かれる。 …

| [[二項関係#集合上の関係|連続的]] …

[[数学]]において、[[二項関係]]が'''整礎'''（せいそ、{{lang-en-short|''well-founded''}}）であるとは、真の無限[[降下列]]をもたないことで …ことをいう{{sfn|Kanovei|Reeken|2004|p=16|loc=Definition 1.1.4}}。（関係 ''R'' がさらに[[二項関係|集合的]]であることを仮定する著者もいる{{sfn|Jech|2003|loc={{google books quote|id=CZb-CAAAQBA …