関数従属性についての質問です。

質問

『Xが人間ならばXは哺乳類の動物である。』という表現の場合には、
前提条件が結論の部分集合に属している、と私は勝手に認識して参りました。

でも、関数従属性についての某ページ( http://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0%E5%BE%93%E5%B1%9E%E6%80%A7 )を閲覧しますと、
『自明な関数従属性』の説明との齟齬の存在が分かりました。

つまり、「『自明な関数従属性』が成り立っている状況なに於かれましては、
寧ろ、結論が前提条件の部分集合になっていますね。

従いまして、此の食い違いの根拠が分からないものですから、畏れ入りますが、
部分集合と関数従属性との繋がりを説明して頂けませんでしょうか？

回答No.1

jjon-com · ベストアンサー

> 『Xが人間ならばXは哺乳類の動物である。』

上記に登場する Xも，人間も，哺乳類の動物も，すべて「属性」じゃない。
質問文に登場するリンク先には次のように書いてあります。

> R を関係として、X と Y をそれぞれ R の属性の集合とすると、

XやYが指すものを勘違いしたままでは，リンク先の説明文は理解できません。

http://okwave.jp/qa/q4823760.html のANo2，および，私の回答ANo.1

補足

有り難う御座います。

よく分かり、助かりました。

因みに、本日は私の休暇になっていますので、
連続になりまして大変に畏れ入りますが、
下記URLのページにも、質問文を提出させて頂きましたから、
其処でも御指導を賜れませんでしょうか？
http://okwave.jp/qa/q7685380.html