有向集合とは,任意の2元に上界があるような前順序集合のことをいいます。位相空間におけるネット(有向点族)を定義する際の添え字としても用いられま···