This is an old revision of the document!

Sequence begin

Function

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

Discussion

Parents

Subset of

Surjective function

Requirements

Sequence length

Link to graph
Log In
Improvements of the human condition
limeGraphxioms