集合族的有限交性质

_

finite intersection property of a family of sets