闭包系统

闭包系统(closure system)集合论的一个概念.设A是一个集合，‘厂是A的若干个子集构成的集合，若对任意男里‘了，皆有自B任‘了，则称‘了是一个闭包系统.骊关于包含关系构成一个完备格.