ThmDex – An index of mathematical definitions, results, and conjectures.

Processing math: 100%

Result R5364 on D5113: Standard real Borel set
Subresult of R5361: A countable real set is standard Borel

A finite real set is standard Borel

Formulation 0

Let

$B \subseteq \mathbb{R}$ be a D5485: Real set such that

(i)	$B$ is a D17: Finite set

Then