# Dual/complement of independence system

An independence system is a pair $(I,\mathcal{I})$ where $I$ is a (usually finite) ground set and $\mathcal{I}$ is a collection of subsets of $I$ such that:

1. $\emptyset \in \mathcal{I}$, and
2. $I_1 \subset I_2 \in \mathcal{I}$ implies $I_1 \in \mathcal{I}$.

I am interested a related, dual notion, where we replace conditions 1 and 2 with:

1. $I \in \mathcal{I}$, and
2. $I_1 \supset I_2 \in \mathcal{I}$ implies $I_1 \in \mathcal{I}$.

It is clear that the pair $M=(I,\mathcal{I})$ is an independence system if and only if $\overline{M}=(I,\overline{\mathcal{I}})$ obeys the new conditions, where $\overline{\mathcal{I}} = \{ I\setminus I_0 : I_0 \in \mathcal{I} \}$. However, in my application it is much easier to work with the new conditions. Does this have a name?

• This is often referred to as the dual system. – Suresh Venkat Jun 29 '13 at 13:58
• @SureshVenkat do you have a reference for that? – Austin Buchanan Jun 29 '13 at 15:55
• As @SashoNikolov points out, this terminology comes from poset land – Suresh Venkat Jun 29 '13 at 19:30