ula_135）称为导集运算（像称为原像的导集），当且仅当formula_136满足以下导集公理：从导集出发定义其它概念：
拓扑之间的关系.同一个全集可以拥有不同的拓扑，有些是有用的，有些是平庸的，这些拓扑之间可以形成一种偏序关系。当拓扑formula_144的每一个开集都是拓扑formula_145的开集时，称拓扑formula_145比拓扑formula_144更细，或称拓扑formula_144比拓扑formula_145更粗。仅依赖于特定开集的存在而成立的结论，在更