集合 更新

集合の基本概念－定義と記号を更新。集合から論理へとのあいだにリンク敷設。