component. -->
Zermelo-Fraenkel set theory with axiom of Choice(ZFC):9 axioms all together is being used here.