重要な用語の定義、性質をまとめていきます。