A finite abstract simplicial complex is a pair $D=(S,D)$ where $S$ is a finite set and $D$ is a non-empty subset of the power set of $S$ closed under the subset operation.
What's the name for the following:
$D=(S,D)$ defined as above except that $D$ is closed under the superset operation?
Crossposted from MO.