Source: https://www.math.uh.edu/~klaus/2007set_theory.pdf