フィルター (数学)
Φ: K → L を束 K, L の間の束準同型、F を L 上のフィルターとし、F の Φ による逆像 Φ(F) = { x ∈ K : Φ(x) ∈ F } は空集合でないとする。このとき Φ(F) は K 上のフィルターとなる。更に K, L が最小元を持つ束で Φ が最小限を保つ束準同型のとき、F が真のフィルターなら Φ(F) も真のフィルターとなる。