「推移関係」の版間の差分

削除された内容 追加された内容
英語版からの誤訳と思われる箇所を修正
江口磐世☆ (会話 | 投稿記録)
m lang
1行目:
'''推移関係'''([[英語すいいかんけい、{{lang-en-short|英]]: '''Transitive relation'''}}は、[[数学]]における[[二項関係]]の一種。[[集合]] ''X'' の[[二項関係]] ''R'' が'''推移的'''であるとは、''X''の任意の元 ''a''、''b''、''c'' について、''a'' と ''b'' に ''R'' が成り立ち、''b'' と ''c'' に ''R'' が成り立つとき、''a'' と ''c'' にも ''R'' が成り立つことをいう。'''推移的関係'''とも。
 
[[一階述語論理]]でこれを表すと、次のようになる。