質問: ⇒という記号は、条件c1(x)、c2(x)があり{x|c1(x)}⊂{x|c2(x)}である時に、c ⇒という記号は、条件c1(x)、c2(x)があり{x|c1(x)}⊂{x|c2(x)}である時に、c1(x)⇒c2(x)と使う記号であるという理解で良いでしょうか?
回答: 理解はそれで良いです c1⊂c2 のとき c1の中に含まれるxなら、必ずc2の中に含まれることになるので c1⇒c2 です。