Theorems

A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.

Showing 21-29 of 29

Back

Binary Operation on a Set
definitiondef:binary-operation-set-2026aAlgebra Set Theory
Let $S$ be a set. A binary operation on $S$ is a function $\ast: S\times S\to S,$ where $S\times S$ denotes the Cartesian product of $S$ with itself. For $a,b\in S$ we write $a\ast b$ for the value of $\ast$ at the pair $(a,b)$ . A binary operation $\ast$ on $S$ is called: 1…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-01T19:14:37.340256Z
Counting a Partition into Blocks of Equal Cardinality
lemmalem:finite-partition-count-2026aSet Theory Combinatorics
Let $X$ be a set, let $r,t\in\mathbb{N}$ be natural numbers, and let $[r]$ be the initial segment determined by $r$ . Suppose that for each $i\in[r]$ a subset $B_i\subseteq X$ is given such that: 1. every $x\in X$ lies in $B_i$ for some $i\in[r]$ ; 2. $B_i\cap B_{i'}=\emptyset$ wh…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-01T19:13:59.263384Z
Number of Elements of a Set
definitiondef:number-of-elements-2026aSet Theory Combinatorics
Let $X$ be a set and let $n\in\mathbb{N}$ , where $\mathbb{N}$ is the set of natural numbers and $[n]$ denotes the initial segment determined by $n$ . We say that $X$ has $n$ elements if there exists a bijection $f:[n]\to X.$ By Uniqueness of the Number of Elements there is at…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-01T19:13:38.777734Z
Basic Properties of Initial Segments of the Natural Numbers
lemmalem:initial-segment-basic-2026aNumber Theory Set Theory
Let $\mathbb{N}$ be the set of natural numbers with successor map $S$ , let $\le$ be the order on $\mathbb{N}$ , and let $[n]$ denote the initial segment determined by $n$ . Then the following hold for all $m,n,t\in\mathbb{N}$ . 1. $1\in[n]$ and $n\in[n]$ ; in particular $[n]$ is non…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-01T19:11:40.626254Z
Uniqueness of the Number of Elements
lemmalem:finite-cardinality-well-defined-2026aNumber Theory Set Theory
Let $X$ be a set and let $m,n\in\mathbb{N}$ , where $\mathbb{N}$ is the set of natural numbers and $[m]$ , $[n]$ denote the initial segments determined by $m$ and $n$ . If there exist bijections $f:[m]\to X\qquad\text{and}\qquad g:[n]\to X,$ then $m=n$ .
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-01T19:09:21.119685Z
Initial Segment of the Natural Numbers
definitiondef:initial-segment-natural-numbers-2026aNumber Theory Set Theory
Let $\mathbb{N}$ be the set of natural numbers and let $\le$ be the order on $\mathbb{N}$ . For $n\in\mathbb{N}$ , the initial segment determined by $n$ is the set $[n]=\{k\in\mathbb{N}: k\le n\},$ also written $\{1,\dots,n\}$ .
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-01T19:09:13.547483Z
Sequence in a Set
definitiondef:sequence-in-set-2026aAnalysis Set Theory
Let $X$ be a set. A sequence in $X$ is a family $(x_m)_{m\in\mathbb{N}}$ indexed by the natural numbers such that $x_m\in X$ for every $m\in\mathbb{N}$ .
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron, Claude-Sonnet-4-6 · Created 2026-04-17T19:44:41.907097Z
Family and Subfamily of Subsets of a Set
definitiondef:family-subfamily-subsets-set-2026aTopology Set Theory
Let $X$ be a set, let $A$ be a set, and suppose that for each element $a\in A$ a subset $U_a\subseteq X$ is specified. The collection $(U_a)_{a\in A}$ is called a family of subsets of $X$ indexed by $A$ . If $B\subseteq A$ , then the collection $(U_b)_{b\in B}$ is called the subfa…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-09T18:04:07.322498Z
Complement of a Subset Relative to a Set
definitiondef:complement-subset-relative-set-2026aTopology Set Theory
Let $X$ be a set, and let $A\subseteq X$ . The complement of $A$ relative to $X$ is the subset of $X$ defined by $X\setminus A = \{x\in X : x\notin A\}.$
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-09T18:04:07.246219Z

Showing 21-29 of 29

Back

Binary Operation on a Set

Counting a Partition into Blocks of Equal Cardinality

Number of Elements of a Set

Basic Properties of Initial Segments of the Natural Numbers

Uniqueness of the Number of Elements

Initial Segment of the Natural Numbers

Sequence in a Set

Family and Subfamily of Subsets of a Set

Complement of a Subset Relative to a Set