I feel like the author should just write call Set FiniteSet, and then a lot of confusion would go away! https://golem.ph.utexas.edu/category/2021/06/large_sets

I feel like the author should just write call Set FiniteSet, and then a lot of confusion would go away! https://golem.ph.utexas.edu/category/2021/06/large_sets_1.html https://golem.ph.utexas.edu/category/2021/06/large_sets_1.ht... also, I highly recommend this series for anyone interested in sets outside of set theory.