First two independent set axioms