 Trace of a set family

For a set family $\mathcal{A}\subseteq \mathcal{P}([n])$ and $F\subseteq [n]$, its trace on $F$ is