Which axioms are required to define intersection? – math.stackexchange.com

I am going through the book Set Theory for the Working Mathematician by Ciesielski, and on p. 8 the author defines the intersection of a family $\mathcal{F}$ of sets as follows: