For a given cardinal , denotes the collection of sets whose transitive closure has cardinality less than . Prove that has cardinality . Which axioms of ZFC are satisfied by ?

I am confused on how to prove this. I would appreciate some help on this problem. Thanks.

Link:

Zermelo?Fraenkel set theory - Wikipedia, the free encyclopedia