▼ | Set of symbols |

▼ | Alphabet |

▼ | Deduction system |

▼ | Theory |

▼ | Zermelo-Fraenkel set theory |

Definition D11

Set

Children

▶ | Binary cartesian set product |

▶ | Set difference |

▶ | Subset |

▶ | Transitive set |