閉性
集合上に必ずしも閉じていない演算あるいは関係および性質が与えられたとき、もとの集合を拡大して得られる適当な集合上で演算が閉じるようにすることができる。任意の性質 P と二項関係 R が与えられたとき、性質 P を満たし R を含む最小の関係を R の P-閉包あるいは P-包と呼ぶ。