Alphabeta Math
False statementConstruction: Literature-sourcedVerification: AI-adaptedprecheck passverified 2026-08-06 (claude-opus-5)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

FALSE: a symmetric and transitive relation on a set A is reflexive on A, so reflexivity is redundant in the definition of an equivalence relation

Statement

False statement. If a relation R on a set A is symmetric and transitive, then it is reflexive on A; consequently the reflexivity clause in the definition of an equivalence relation follows from the other two and could be dropped.

Facts & Assumptions

Given: the claim above.

[L1]

R is reflexive on A when (a,a)∈R for every a∈A (Reflexive, irreflexive, symmetric, asymmetric, antisymmetric, transitive, and connex relations on a set).

[L2]

R is symmetric when (a,b)∈R implies (b,a)∈R, for all a,b∈A (Reflexive, irreflexive, symmetric, asymmetric, antisymmetric, transitive, and connex relations on a set).

[L3]

R is transitive when (a,b)∈R and (b,c)∈R imply (a,c)∈R, for all a,b,c∈A (Reflexive, irreflexive, symmetric, asymmetric, antisymmetric, transitive, and connex relations on a set).

[L4]

A binary relation ∼ on A is an equivalence relation when it is reflexive, symmetric and transitive (Equivalence relation, equivalence class, and the quotient set A/∼).

[L6]

z∈A×B holds if and only if z=(a,b) for some a∈A and some b∈B (The Cartesian product A×B:={ z∈P(P(A∪B)):∃a∈A ∃b∈B z=(a,b) }).

[L7]
[L8]

{x,y} is the set whose elements are exactly x and y, and {x}:={x,x} (The unordered pair {x,y} and the singleton {x}={x,x}).

[L9]

There is exactly one set with no elements, written ∅ (There is exactly one set with no elements, written ∅).

Refutation

technique · direct
1.1

The argument that makes the claim look right: given a∈A, take any b with (a,b)∈R; symmetry gives (b,a)∈R, and transitivity applied to (a,b) and (b,a) gives (a,a)∈R.

L1L2L3
1.2

The witness: put u:=∅, v:={∅}, A:={u,v} and R:={(u,u)}. Here u≠v, because v has an element and u has none.

L8L9
2.1

The gap in step 1.1 is the phrase "take any b with (a,b)∈R": no hypothesis supplies such a b. Symmetry and transitivity are conditional on pairs that are already in R, so they constrain R only at points that R relates to something, and say nothing whatever about a point of A that R leaves untouched.

L2L3step 1.1
2.2

R is a relation on A: its only element is the ordered pair (u,u), whose coordinates both lie in A.

L5L6L7step 1.2
2.3

R is symmetric, since its only pair is its own reversal, and transitive, since the only composable pair of its members is (u,u) with (u,u), whose conclusion (u,u)∈R holds.

L2L3step 1.2
3.1

R is not reflexive on A: v is an element of A and (v,v)∉R, since the only element of R is (u,u) and v≠u.

L1L7L8step 1.2step 2.2
4.1

The claim is therefore false, and with it the conclusion drawn from it: the reflexivity clause in the definition of an equivalence relation is not redundant, since R satisfies the other two clauses on A and is not an equivalence relation on A.

L4step 2.1step 2.3step 3.1∎

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

19 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources