2
$\begingroup$

Let $X$ be an a set and let $\mathcal{C}$ be a collection of subsets of $X$ satisfying the following property:

If $A$ and $A^\prime$ are subsets of $X$ with $A \in \mathcal{C}$ and $A^\prime \subseteq A$, then $A^\prime \in \mathcal{C}$.

I have heard this described variously as "$\mathcal{A}$ is down-closed" and "$\mathcal{A}$ is a down ideal", but neither of these phrases seem very prevalent on the internet. Is there a more common name for this property?

  • 0
    @QuinnCulver: I withdraw my previous comment :-)2011-12-13

4 Answers 4

4

As this page indicates, you're missing a condition required for the given collection to be an 'ideal'. As this page indicates, the terms 'downward closed', 'down set', 'lower set', et al. are appropriate in this case.

3

The term "downset" is sometimes used. See e.g. Anderson, "Combinatorics of Finite Sets".

  • 0
    Google books [link](http://books.google.com/books?id=RjDd4RaqrIwC&q=downset&pg=PA87&redir_esc=y#v=snippet&q=downset).2011-12-14
2

In the case where $\mathcal{C}$ consists of finite sets only, $\mathcal{C}$ is an abstract simplicial complex.

  • 0
    Good point. I've edited accordingly.2011-12-14
1

In "The Probabilistic Method", Alon and Spencer call such a collection "monotone decreasing".

  • 0
    As are the terms I listed, 'monotone decreasing' is a general order-theoretic term. Note that 'decreasing' was listed in the link I provided.2011-12-13