set

集合

Foundations & Logic · Undergraduate · Mathematics Resources editorial compilation (AI-assisted)

Translation evidence: Literature usage

Meaning in context

A primitive collection in ZF set theory, whose identity is determined by its members.

ZF 集合论中的基本对象；两个集合相等当且仅当元素完全相同。

Example

{2,5}={5,2,2}\{2,5\}=\{5,2,2\}.

Usage and distinctions

Listing order and repetitions do not change a set; they can change a sequence.

Read the encyclopedia explanation

Recommended reading in this subject · Preparation & skip guidance

Definition sources

  1. Avigad, Hua, Lewis and van Doorn — Logic and Proof§11.1 Elementary Set Theory; §11.4 Cartesian Product and Power Set · Checked 2026-10-14

Translation sources

  1. 李文威 — 代数学方法，第一卷（作者源码）第1章「ZFC 公理一览」 · Checked 2026-10-14
Edit source / propose a PRReport a correction

Original encyclopedia and terminology content: CC BY-SA 4.0. Contribute or report a correction.