部分群は「部分集合で群の公理を満たすならば〜」という論理式の言い換えだろう
部分群を論じるのにモデルは不要だろう