Sequence begin - Axioms of Choice

Processing math: 100%

Sequence begin

Function

context

$X$ … set

definiendum	$\mathrm{first}: \mathrm{Sequence}(X)\to X$
definiendum	$\mathrm{first}(S):= \pi_1(S)$

Discussion

Parents

Subset of

Surjective function

Context

Sequence length

Log In

Improvements of the human condition