有向点族
φ は有向集合 D で添字付けられる X 内の有向点族とし、A を X の部分集合とする。ここで、D の各元 α に対して、D の元 β で、β ≥ α で φ(β) が A に含まれるものが存在するならば、有向点族 φ は A に無限に含まれる (frequently in) という。