downward directed set (Q120868052)
preordered set whose every finite subset has a lower bound
Language:
other details
aliases filtered set
description preordered set whose every finite subset has a lower bound