マセマティカ エテルナ
オープンアクセス

概要

関係の特性に関する拡張要約

フセインS

数学では、関係は順序付きペアの x 値と y 値の間にあります。すべての x 値の集合は定義域と呼ばれ、したがってすべての y 値の集合は値域と呼ばれます。 関係の種類: 空の関係: グループ A の関係 R は、集合 A が空集合である場合に空と呼ばれます。完全関係: コレクション A と B 上の二項関係 R は、AXB の場合に完全と呼ばれます。反射関係: 集合 A 上の関係 R は、すべての要素 a € A に対して (a,a) € R が成り立つ場合に反射と呼ばれます。恒等関係は、a∈A である形式 (a,a) の順序付きペアで構成されます。言い換えると、a=b である場合に aRb です。この場合、「メンバーシップ」は X から Y への関係 R である可能性もあります。つまり、x ∈ y の場合に xRy になります。結局、関係について考える上記の方法は、学校でアダム・オズボーンが示唆したように、明確に形式化されています。つまり、関係 R を X ×Y から 2 要素セット {TRUE、FALSE} への関数として考えます。