１５９．
Ｆ≧Ｆ’かつＦ’≧Ｆ’’ならばＦ≧Ｆ’’
Ｆ〜Ｆ’かつＦ’〜Ｆ’’ならばＦ〜Ｆ’’

特に、
Ｆ〜Ｆ’（固）かつＦ’〜Ｆ’’（固）ならばＦ〜Ｆ’’（固）
Ｆ〜Ｆ’（非）かつＦ’〜Ｆ’’（非）ならばＦ〜Ｆ’’（固）
Ｆ〜Ｆ’（固）かつＦ’〜Ｆ’’（非）ならばＦ〜Ｆ’’（非）
Ｆ〜Ｆ’（非）かつＦ’〜Ｆ’’（固）ならばＦ〜Ｆ’’（非）