集合・位相入門（松阪和夫）見てて一つ疑問なんだけど

p9
A⊂BかつA≠Bであるときには、AはBの真部分集合であるという．

p10
φ⊂A
であると約束することにする．

この定義によるとA≠φのときφはAの真部分集合なわけだけど
群Gに対して単位元だけの部分群{e}とGを自明な群として
それ以外のGの部分群は真部分群だよね？

集合とは「真部分〜」の名称が対応してないのが普通なのかな？