05/08/14 07:33:49 tHo1ZztF
ＡとＢが同義［Ａ ＝ Ｂ］であれば、両者は同じカテゴリーだと言えます。
しかし、６２０さんなどは同義と包含関係（上位・下位関係）とを
すっかり混同なさっていますね。
もし［Ａ ＝ Ｂ ＋ Ｃ ＋ …］ならば、
ＢとＣなどは別カテゴリーであることは自明ですね？
そしてＡはＢやＣの上位カテゴリー、逆にＢやＣはＡの下位カテゴリーとなります。
８２５さんも述べているように［Ａ ＝ Ｂのごく一部 ＋ Ｃ ＋ …］ならば、
ＡとＢとの上位・下位関係さえも成り立ちにくくなる。
（Ａは聴覚障害者、Ｂは難聴者、Ｃは聾者と読み替えて下さい。）