# Definition:Underlying Set

Jump to navigation
Jump to search

## 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 contextsYou 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. |