Definition:Underlying Set

Definition

Abstract Algebra

Let $\struct {S, \circ}$ be an algebraic structure.

Then the underlying set of $\struct {S, \circ}$ is the set $S$.

Relational Structure

Let $\struct {S, \RR}$ be a relational structure.

Then the underlying set of $\struct {S, \RR}$ is the set $S$.

Metric Space

Let $M = \struct {A, d}$ be a metric space.

Then the underlying set of $M$ is the set $A$.

Topological Space

Let $T = \struct {S, \tau}$ be a topological space.

Then the underlying set of $T$ is the set $S$.

This article, or a section of it, needs explaining. In particular: The connection of this entry with category theory, beyond the fact that it has a number of different contexts You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.