Totalities of Infinite Sets
Extracted source text · arXiv 2512.09940
\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathrsfs}
\usepackage[normalem]{ulem}
\usepackage[all]{xy}
\usepackage{multicol}
\usepackage{color}
\usepackage{lipsum}
\usepackage{enumitem}
\usepackage{wasysym}
\usepackage[utf8]{inputenc}
\usepackage{longtable}
\setlength{\arrayrulewidth}{1mm}
\setlength{\tabcolsep}{18pt}
\usepackage{sans}
\renewcommand{\arraystretch}{1.3}
\theoremstyle{theorem}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem*{remark}{Remark}
\newtheorem*{example}{Example}
\newtheorem{lemma}{Lemma}
\addtolength{\oddsidemargin}{-.875in}
\addtolength{\evensidemargin}{-.875in}
\addtolength{\textwidth}{1.75in}
\addtolength{\topmargin}{-1.0in}
\addtolength{\textheight}{1.50in}
\newcommand\blfootnote[1]{%
\begingroup
\renewcommand\thefootnote{}\footnote{#1}%
\addtocounter{footnote}{-1}%
\endgroup
}
\newlength{\bibitemsep}\setlength{\bibitemsep}{.2\baselineskip plus .05\baselineskip minus .05\baselineskip}
\newlength{\bibparskip}\setlength{\bibparskip}{4pt}
\let\oldthebibliography\thebibliography
\renewcommand\thebibliography[1]{%
\oldthebibliography{#1}%
\setlength{\parskip}{\bibitemsep}%
\setlength{\itemsep}{\bibparskip}%
}
%\newenvironment{theorem}[2][Theorem]{\begin{trivlist}
%\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2}]}{\end{trivlist}}
%\newenvironment{corollary}[2][Corollary]{\begin{trivlist}
%\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2}]}{\end{trivlist}}
%\newenvironment{example}[2][Example]{\begin{trivlist}
%\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2}]}{\end{trivlist}}
%\newenvironment{definition}[2][Definition]{\begin{trivlist}
%\item[\hskip \labelsep {\bfseries #1}\hskip \labelsep {\bfseries #2}]}{\end{trivlist}}
\title{\fontsize{14}{14} \vspace*{-40pt}\textsc{Comparisons of Infinite Sets \vspace{-3ex}}}
\date{\vspace{-5ex}}
\author{ \fontsize{12}{12} \textsc{William Johnston}}%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% The following format Theorems, etc.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\newtheorem{thm}{Theorem}
% \newtheorem{prop}[thm]{Proposition}
%\newtheorem{lemma}[thm]{Lemma}
% \newtheorem{cor}[thm]{Corollary}
% \newcommand{\dfn}{\noindent {\bf Definition\ } }
\definecolor{DarkRed}{cmyk}{0, 0.89, 0.85, 0.35}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%
% The following are special symbols:
%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\by}{\times}
\newcommand{\prp}{^{\perp}}
\newcommand{\li}{\langle}
\newcommand{\ri}{\rangle}
\renewcommand{\Re}{{\rm Re}}
\renewcommand{\Im}{\mbox{\rm Im}}
\newcommand{\st}{^{\textstyle {\ast }}}
\newcommand{\ph}{\ensuremath{\varphi}}
\newcommand{\phinv}{\ensuremath{\varphi^{-1}}}
\newcommand{\ran}{\mbox{ran}}
\newcommand{\s}{\ensuremath{\sigma}}
\newcommand{\Ph}{\ensuremath{\Phi}}
\newcommand{\df}{\ensuremath{\left( \frac{\displaystyle \ph +1}{\displaystyle
\ph - 1} - \frac{\displaystyle z+1}{\displaystyle z-1} \right)}}
\newcommand{\ps}{\mbox{$\varpsi$}}
\newcommand{\xa}{\ensuremath{x_\alpha}}
\newcommand{\ya}{\ensuremath{y_\alpha}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% SPACES
%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\Ht}{\ensuremath{H^{2}}}
\newcommand{\zHt}{\ensuremath{zH^{2}}}
\newcommand{\HtD}{\ensuremath{H^{2}(\D)}}
\newcommand{\Htb}{\ensuremath{H^{2}(\beta)}}
\newcommand{\Htbk}{\ensuremath{H^{2}(\beta_\kappa)}}
\newcommand{\Hi}{\ensuremath{H^{\infty}}}
\newcommand{\Co}{\ensuremath{\mathbb{C}}}
\newcommand{\B}{\ensuremath{\mathcal{B}}}
% \newcommand{\Cn}[1]{\ensuremath{\mathbb{C}^{#1}}}
\newcommand{\Cn}{\ensuremath{\mathbb{C}^n}}
\newcommand{\D}{\ensuremath{\mathbb{D}}}
\newcommand{\At}{\ensuremath{A^{2}}}
\newcommand{\V}{\ensuremath{\mathcal{V}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% OPERATORS
%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\C}{\ensuremath{C_{\varphi}}}
\newcommand{\Cs}{\ensuremath{C_{\varphi}\st}}
\newcommand{\T}{\ensuremath{T_\phi}}
\newcommand{\Ts}{\ensuremath{T_\phi\st}}
\newcommand{\W}{\ensuremath{W_{\psi,\varphi}}}
\newcommand{\Ws}{\ensuremath{W_{\psi,\varphi}^{\textstyle\ast}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%
% The following fonts are used in the bibliography
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \newfont{\caps}{cmcsc10} % for Authors
% \newfont{\jour}{cmr9} % for Journal Titles
% \newfont{\jour}{cmti10} % for Journal Titles
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\maketitle
\frenchspacing
\begin{abstract} \noindent {This paper describes new comparisons of arbitrary infinite sets, both in terms of cardinality and in terms of other constructions, which result in set comparisons characterized by what it calls ``totality.'' It then explores the use of outer measure to get one such comparison: for subsets of a metric space $X$ vis-a-vis subsets of $\mathbb{P}(X)$.}
\end{abstract}
\noindent \section{Introduction}
\noindent Georg Cantor's definition of infinite set cardinalities is of special delight to all modern mathematicians. It began in 1874 with (translated from German) ``On a Property of the Collection of All Real Algebraic Numbers'' \cite{Cantor} and used the paradigm that two sets have the same cardinality when there exists a bijection between them. Assuming the continuum hypothesis, infinite real sets are either countable or uncountable.\ Simply to offer a slight generalization, we start with an example of a new definition for real set cardinality, one based on both the cardinality of the set and the cardinality of the complement. It produces more than two different infinite cardinality amounts.\\
\noindent {\bf Definition 1.}\ A nonempty real set $A$ is countable when $A$ can be written as a sequence $A=\{a_1, a_2, \ldots \}$, either finite (of length, say, $n$) or infinite in length.
\begin{itemize}
\item When the set $A$ is finite with $n$ elements, we write $|A|=n$, including the case of the empty set $|\phi|=0$.\ When the set is countably infinite, we write $|A|=\aleph_0$.
\item When $A$ is uncountable, we write, using a new notation, $|A|=\aleph_{1}\!\backslash\aleph_1$, except for the cases where its complement $ \mathbb{R} \backslash A$ is either finite or countably infinite.\
\item When the complement is countably infinite we write $|A|=\aleph_{1}\!\backslash\aleph_0$, and when the complement is finite of size $n$, we write $|A|=\aleph_1\!\backslash n$, including the case $|\mathbb{R}|=\aleph_1\!\backslash 0$.
\end{itemize}
For any $n=0,1,2,3,\ldots$, a natural comparison is \[n < \aleph_0 < \aleph_{1}\!\backslash\aleph_1<\aleph_{1}\!\backslash\aleph_0< \aleph_{1}\!\backslash n. \]
In addition, two sets that have the same cardinality have a bijection between them {\it and} a bijection between their complements.\\
\noindent \underline{Examples}: 1.\ $|\{7, \sqrt{2}, \pi, 100 \} | = 4 $. 2.\ $|\mathbb{N} | =|\mathbb{Q} | = \aleph_{0}$.\ 3.\ $|(0,1)|=\aleph_{1}\!\backslash\aleph_1$.\ 4.\
$|\mathbb{I}|= \aleph_{1}\!\backslash\aleph_0$ for $\mathbb{I}$ the irrationals.\ 5.\
$|\mathbb{R}\backslash \{7, \sqrt{2}, \pi, 100 \} | = \aleph_{1}\!\backslash 4$.\ \\
An example that promotes an interest in this new definition is its application to the set of normal numbers {\bf N} (in base 10). In 1909 Emil Borel proved in \cite{Borel}, in the sense of Lebesgue measure, that almost all real numbers are normal, and so {\bf N} is uncountable. But, as is commonly known, the bijection $f(0.a_1a_2a_3\ldots)=0.a_10a_20a_30\ldots$ maps $[0,1]$ onto a subset $S$ of non-normal numbers, since, for example, the sequence $rr$ for any nonzero digit $r$ never exists for any number in the output set $S$. Therefore the complement of {\bf N} is uncountable. In terms of Definition 1, $|${\bf N}$|= \aleph_{1}\!\backslash\aleph_1$ and the cardinality of normal numbers is strictly smaller than that of irrationals, a statement nicely in tune with how few types of normal numbers have been found.\\
\noindent {\bf $\S$ 2.} \textsc{\bf Using A Step-by-Step Paradigm} \vspace{6pt}
\noindent Imagine imposing paradigms to determine cardinality that go beyond or substitute for the demand that two sets with the same cardinality must have a bijection between them. In such cases, we use the term ``totality'' of the set in place of ``cardinality'' of the set. Just as for cardinality, a well-defined totality on the subsets of any set $X$ should:
\begin{itemize} [itemsep=-2pt] \vspace{-5pt}
\item be uniquely defined for each subset of $X$;
\item equal the number of elements in the set for any finite set;
\item be monotonic; i.e., have the following property: for all subsets $A, B \subseteq X$, if $A \subseteq B$, then the totality of $A$ is less than or equal to the totality of $B$. \vspace{-5 pt}
\end{itemize}
One useful construction is to employ a step-by-step process to formulate the totality of an infinite set.\ Each step could expand the number of infinite set totalities defined at the immediately previous step, partitioning real-valued sets into more and more divisions of totality.\ Any of the steps could give a well-defined definition of infinite set totalities. In addition, when the steps could continue indefinitely, then an infinite real-valued set totality could be defined as a limit of the step totalities.\ Of course, any finite set totality remains unchanged from its cardinality.\ A simple two-step example follows.\ In this example and others like it, the totalities of infinite sets are labeled using an Omega notation with a subscript size $s$ (as $\Omega_{s}$); this notation distinguishes these new totalities from real-valued set cardinality labels $\aleph_0$ and $\aleph_1$.\ The two notations, using $\Omega$ and $\aleph$, generally need not be related, as their definitions of cardinality and totality fundamentally differ. \\
\noindent {\bf Definition 2.\ Infinite real set totality formed from a two-step process.}\
\begin{itemize} [itemsep=-2pt] \vspace{-1pt}
\item In Step 1, define three totalities: $\Omega_0$ if countable; $\Omega_{1/2}$ if uncountable with uncountable complement; and $\Omega_1$ if uncountable with countable complement.
\item In Step 2, define four totalities, using the Step 1 totalities $\Omega_0$ and $\Omega_1$ but partitioning sets $A$ with Step 1 totality $\Omega_{1/2}$ into two totalities: $\Omega_{1/3}$ when every closed interval $B$ that contains $A$ has $B\backslash A$ uncountable; and $\Omega_{2/3}$ when there exists a closed interval $B$ that contains $A$ with $B\backslash A$ countable. \vspace{-1pt}
\end{itemize}
After Step 2, for example the Cantor set $C$ has totality $|C|=\Omega_{1/3}$, but any nonempty bounded interval $I$ has $|I|=\Omega_{2/3}$. Note that after each step in Definition 2, each set in a distinct totality still has a bijection between them but additional refinements further partition sets with equal cardinalities into extra totalities.\\
\vspace{0pt}
\noindent {\bf $\S$ 3.} \textsc{\bf Comparing Totalities of Sets of Different Types.} \vspace{6pt}
\noindent We now use an alternative paradigm to compare sets of different types, such as comparing subsets of $\mathbb{R}$ with subsets of its power set $\mathbb{P}(\mathbb{R})$. Such comparisons may be considered important because, for example, they may reveal new understandings about how subsets within the two types compare -- beyond the ability to equate their cardinalities via a bijection between them. To compare infinite subsets of any space $X$ against the infinite subsets of $\mathbb{P}(X)$, we are thereby motivated to use a totality construction that satisfies four strategic goals:
\begin{enumerate}[itemsep=-2pt] \vspace{-3 pt}
\item The totality should be well-defined as formulaically following from only topological properties of $X$.
\item For any totality value $\Omega_t$ of a subset $\mathcal{P} \subseteq \mathbb{P}(X)$, there should exist a subset $A \subseteq X$ that also has totality $\Omega_t$. Similarly, if $|A|=\Omega_t$ for some $A \subseteq{X}$, then there should exist $\mathcal{P} \subseteq \mathbb{P}(X)$ with $|\mathcal{P}|=\Omega_t$.
\item The totalities of each of the full spaces $X$ and $\mathbb{P}(X)$ should equal.
\item The totality comparison between any two sets should give a useful meaning about the sets' comparative sizes.
\end{enumerate}
We call the pair of totalities on $X$ and $\mathbb{P}(X)$ that satisfy each of these goals a {\it strategic totality pair}.
This section shows how outer measure can be used to construct one. It thus uses outer measure in a new, broad manner: to formulate totalities that allow totality comparisons between sets of different types in a strategically designed, determined manner
The required properties of any outer measure is standard (cf. \cite[p. 250]{Royden}). An outer measure $m$ must be defined on all subsets of a set $X$ as an extended real-valued set function $m(A), A \subseteq X$ for which:
\begin{enumerate}
\item $m(\varnothing) = 0$;
\item if $A \subseteq B$, then $m(A) \le m(B)$; and
\item for subsets $A, B_1, B_2, \ldots \in \mathbb{P}(X)$, if $ A \subseteq \bigcup_{j=1}^\infty B_j$, then $ m(A) \leq \sum_{j=1}^\infty m(B_j)$. \vspace{-2pt}
\end{enumerate}
To develop comparisons that are uniquely formulated from a strategic totality pair, we restrict attention to sets $X$ that form a topological metric space $(X,d)$ with metric $d$. In such a space, \begin{center}$B_r(x)=\{y \in X\colon d(x,y) < r\}$,\end{center} which are the open balls centered at $x$ with radius $r$, always form a base for a topology on $X$; i.e., the open sets of $X$ are the unions of open balls. A host of different outer measures can be constructed on any infinite metric space. To construct a uniquely determined outer measure $m$ on subsets of $X$, we begin (cf. \cite[p. 54]{Royden}) by defining the measure of any open ball as its ``diameter length'' so that $m(\, B_r(x) \, ) = 2r$. Then define $m(A)$ for any $A \subseteq X$ by considering the countable collections $\{ B_n \}$ of open balls that cover $A$; i.e., collections for which $A \subseteq \cup B_n$. For each such collection, set
$$m(A) = \inf\limits_{A \subseteq \cup B_n} \sum_{n=1}^{\infty} m(B_n) $$
and realize $m$ is an outer measure on $X$ (cf. \cite[Lemma 4 and proof, p. 254]{Royden}). We label this outer measure the ``{\it metric outer measure}'' on the metric space $(X,d)$, as it is uniquely determined by the metric.
The metric outer measure for $X$ naturally produces a set totality for any $A \subseteq X$, which we label $|A|=\Omega_{m(A)}$. Using the Hausdorff metric, the metric $d$ on $X$ also formulaically produces a set totality for the power set $\mathbb{P}(X)$, providing a way to compare the totality of any subset of $X$ with the totality of any subset of $\mathbb{P}(X)$. \\
\noindent {\bf Theorem 1:} {\it Equip, using the method described above, a given metric space $(X,d)$ with its metric outer measure $m$ so that $m(B_r(x))=2r$ and $m(A) = \inf\limits_{A \subseteq \cup B_n} \sum_{n=1}^{\infty} m(B_n) $ for any $A \subseteq X$. %Using the collection of open balls $B_r$ as an essential set, the outer measure on any subset $A$ of $X$ uniquely results.
The Hausdorff metric on $\mathbb{P}(X)$, which is formulaically determined by the metric $d$ on $X$, produces a corresponding metric outer measure on $\mathbb{P}(X)$. The two metric outer measures -- one on $X$ and one on $\mathbb{P}(X)$ -- formulate a strategic totality pair. }
%\end{theorem}
\proof The first part of this proof gives details on how the metric $d$ for $X$ produces a Hausdorff metric that defines open balls centered at any given set $S \in \mathbb{P}(X)$. For each pair of non-empty subsets $S, T \subseteq X$, the Hausdorff distance between $S$ and $T$ is
$$ d_{\mathrm H}(S,T) \equiv \max\left\{\,\sup_{s \in S} d_h(s,T),\ \sup_{t \in T} d_h(S,t) \,\right\},$$
where $d_h(s, T) \equiv \inf\limits_{t \in T} d(s,t)$ quantifies the distance from a point $s \in S$ to the subset $T$. By convention, $d_h(s, \emptyset)=0$ for any point $s \in X$, and
$ d_{\mathrm H}(\emptyset,T)=0$. Similarly, $d_h(S, t) \equiv \inf\limits_{s \in S} d(s,t)$ quantifies the distance from a point $t \in T$ to the subset $S$. By convention, $d_h(\emptyset, t)=0$ for any point $t \in X$.
Any nonempty open ball $B_{r}(S)$ on $\mathbb{P}(X)$ centered at a set $S \in \mathbb{P}(X)$ with Hausdorff radial distance $r$ is then defined as the collection of subsets $T \in \mathbb{P}(X)$ within Hausdorff distance less than $r$, so that:
$$B_{r}(S) \equiv \left\{ T \in \mathbb{P}(X)\colon d_{\mathrm H}(S,T)<r \right\}.$$
Define the ``Hausdorff metric outer measure'' $\mu$ on $\mathbb{P}(X)$ beginning with the definition of $\mu $ on these open balls as $\mu( B_{r}(S) ) \equiv 2r$. Then define the metric outer measure for any subset $\mathcal{P} \subseteq \mathbb{P}(X)$ (where $\mathcal{P} $ is a collection of subsets of $X$) in the standard way:
$$\mu (\mathcal{P}) = \inf \big\{\sum_{n=1}^{\infty} \mu(B_n)\colon \mathcal{P} \subseteq \bigcup_{n=1}^{\infty} B_n \text{ for } B_n \text{ of the form } B_n= B_r(S) \big\}.$$ Note that the metric $d$ on $X$ determines these metric outer measures for subsets of $\mathbb{P}(X)$.
Now define the totality of any infinite subset $\mathcal{P}$ of $\mathbb{P}(X)$ to be $|\mathcal{P}|=\Omega_{\mu(\mathcal{P})}$ and the totality of any infinite subset $A$ of $X$ to be $|A|=\Omega_{m(A)}$. The totality of any finite set is its cardinality. Each set has a uniquely defined totality because it has a uniquely defined metric outer measure. Well order these infinite totalities as $\Omega_s < \Omega_t$ exactly when $s<t$. The monotonicity of outer measure forces each of the two constructions of totality (one for subsets of $X$ and one for subsets of $\mathbb{P}(X)$) to be monotonic; i.e., $\Omega_{s} \le \Omega_{t}$ when $B \subseteq C$ with $|B|=\Omega_{s}$ and $|C|=\Omega_{t}$. Therefore, in each case for $X$ and $\mathbb{P}(X)$, the three requirements for a well-defined totality are satisfied. Furthermore, the facts that \begin{enumerate}
\item a meaningful outer measure size comparison via set totalities results between sets of the two vastly different types, and
\item the open balls in each space generate all totality values from $\Omega_0$ to $\Omega_\infty$,
\end{enumerate} \noindent confirm the totalities follow the four requirements of a strategic totality pair. \hfill $\blacksquare$\\
\noindent {\bf An Illustrative Example:} Employ Theorem 1 with the absolute value metric on $\mathbb{R}$ to compare the totality of the interval $A=[-1,1]$ in $\mathbb{R}$ with the totality of $\mathcal{P}$, where $\mathcal{P}$ is the collection of sets $S \in \mathbb{P}(\mathbb{R})$ for which there are points in $S$ arbitrarily close to $[-1-\rho, 1+\rho]$ for some $\rho <1$. Any set in $\mathbb{P}(\mathbb{R})$ satisfies this condition iff $d_h(S,x)=\inf\limits_{s \in S}|s-x|<1$ for given $x \in A$ and $d_h(s,A)=\inf\limits_{x \in A}|s-x| <1$ for given $s \in S$, which is equivalent to $d_H(S,A)<1$. Hence $\mathcal{P}$ consists of all elements $S \in \mathbb{P}(\mathbb{R})$ that are within $1$ unit of $A$, and $\mathcal{P}$ is the open ball centered at $A$ with radius 1.
We conclude $m(A)=2=\mu(\mathcal{P})$ with totalities $$|A|=\Omega_{m(A)}=\Omega_2=\Omega_{\mu(\mathcal{P})}=|\mathcal{P}|.$$ Considered in their respective contexts as subsets of different types of sets, $A$ and $\mathcal{P}$ have equal totalities. \\
\noindent {\bf $\S$ 4.} \textsc{\bf Conclusion} \vspace{8pt}
\noindent For any subset $A$ from either of two different metric spaces $(X,d_1)$ and $(Y,d_2)$, the totality $\Omega_{m(A)}$, formed from the metric outer measures, may allow strategic totality comparisons between infinite subsets taken from $X$ or $Y$. The situation comparing subsets from $X$ vs. from $\mathbb{P}(X)$ is of special note.
Cantor's theorem, which states the cardinality of $\mathbb{P}(X)$ is always strictly larger than the cardinality of $X$, is delightful. Use of totality as constructed in Theorem 1 expresses similarly interesting notions; for example, that for an infinite metric space $X$ having infinite metric outer measure $m(X)$, the uniquely corresponding constructed Hausdorff metric outer measure $\mu(\, \mathbb{P}(X)\, )$ of the power set is also infinity. The two sets have equal totalities $\Omega_{\infty}$. Importantly, totality comparison of sets is determined only from the metric $d$ on $X$; every step in the computations of $\Omega_{m(A)}$ and $\Omega_{\mu(B)}$ for arbitrary $A \subset X$ and $B \subset \mathbb{P}(X)$ follows from the metric $d$. As illustrated in the example, Theorem 1 allows the totality of any subset of $X$ to be compared to the uniquely defined totality of any subset of $\mathbb{P}(X)$, which can provide a strong mathematical sense of which sets are large and small in their infinite amount. Of course, an analysis of totalities for the power set of the power set of $X$ also follows, as does any finite number of additional iterations of power sets of $X$. Each iteration employs a strategic totality pair. Calculating such comparisons for sets within any metric space can result, for example, for $X$ a Hilbert or Banach space such as $L^2(\mathbb{R})$ and its power set. This type of comparison is one item that makes enjoyable the application of Cantor's cardinality to different sets. Any strategic totality pair, such as in Theorem 1, provides that mathematical enjoyment as well.
\begin{thebibliography}{9}
\setlength{\itemsep}{0in}
\vspace{-3pt}
\bibitem{Borel} Borel, E. (1909), Les probabilit\'{e}s d\'{e}nombrables et leurs applications arithm\'{e}tiques, {\it Supplemento ai rendiconti del Circolo Matematico di Palermo}, 27 247-271.\
\bibitem{Cantor} Cantor, G. (1874) Ueber eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen. {\it J.\ f{\"u}r die reine und angewandte Mathematik} 77 \ 258--262.\
\bibitem{Johnston} Johnston, W. (2015) {\it The Lebesgue Integral for Undergraduates}, Vol. 27, AMS/MAA Textbooks. ISBN 978-1-93951-207-9. https://doi.org/10.1090/text/027.
\bibitem{KSU} Kansas State University, {\it Notes on Outer Measure},
$\backslash\backslash$www.math.ksu.edu/~nagy/real-an/3-05-out-meas.pdf (May 13, 2025).
\bibitem{Munroe} Munroe, M. E., {\it Introduction to Measure and Integration}, Addison-Wesley, Reading, Mass.\ 1953.
\bibitem{Reitberger} Reitberger, H. (2002) Leopold Vietoris (1891–2002). {\it Notices of the AMS} 49(10) 1233-1236.
\bibitem{Royden} Royden, H. L. (1968) {\it Real Analysis}, 3rd ed., MacMillan. ISBN 00-02-404150-5.\ https://doi.org/10.1137/1007096.
\bibitem{Vietoris} Vietoris, L., (1922) Bereiche zweiter Ordnung ({\it Trans.} Regions of Second Order). {\it Monatsh. Math.} 32 258–80. https://doi.org/10.1007/bf01696886.
\end{thebibliography}
\end{document}