超滤子

有两种非常不同类型的超滤子: 主要的和自由的。主要(或固定或平凡)的超滤子是包含最小元的滤子。因此主超滤子有形式Fa={x|a≤x}对于给定偏序集合的某些(但非全部)元素。