upward directed set

preordered set whose every finite subset has an upper bound