Clust/Basic set theory

The immediate consequences of the Zermelo-Fraenkel axioms of set theory, including the constructions guaranteed by those axioms.

Below, you should see a graph of the definitions and statements, and the deductive reliances among them. This graph may be too small to read as displayed below. Until a zoomable svg applet is installed, you can try one of the following (in Firefox):

• Right-click on the graph, and click on "This Frame", then "Show only this frame".
• Right-click on the graph, and click on "This Frame", then "View frame source".

The "frame source" is the SVG (scalable vector graphics) file, which can then be saved, and viewed and edited using many software utilities, such as Inkscape.