このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

ムーア閉包に関連していろいろ

論理 小咄
  1. 位相閉包、閉集合
  2. 凸閉包、凸体／凸図形
  3. アフィン閉包、アフィン部分空間
  4. 線形閉包／張る空間／生成された--、線形部分空間
  5. 部分加群
  6. イデアル
  7. アッパーセット、フィルター
  8. 構文的に導出されたセオリー
  9. 意味的に導出されたセオリー
  10. ムーア閉包
  11. （ベキ等）モナド
  12. 代数的閉包