Definition:Interval/Ordered Set/Endpoint

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \preccurlyeq}$ be an ordered set.

Let $a, b \in S$.


Let:

$\closedint a b$

or

$\hointr a b$

or

$\hointl a b$

or

$\openint a b$

be an interval.




The elements $a, b \in S$ are known as the endpoints of the interval.

$a$ is sometimes called the left hand endpoint and $b$ the right hand end point of the interval.


Also known as

An endpoint of an interval can also be written as end point.


Also see

  • Results about endpoints of intervals can be found here.