ページ名の変更

ideal (family of subsets)の名前を変更します。