This is an old revision of the document!

Sequence end

Function

$ X $ … set
$ \mathrm{last}: \mathrm{FiniteSequence}(X)\to X $
$ \mathrm{last}(S):= \pi_{\mathrm{length}(S)}(S) $

Discussion

Parents

Subset of

Surjective function

Requirements

Sequence length, path § graph theory

Link to graph
Log In
Improvements of the human condition
limeGraphxioms