Wiktionary
lower set
n. (context mathematics order theory English) A subset of a poset which contains any descending chain which starts at any element of itself.