Processing math: 100%

Sequence end

Function

context X … set
definiendum last:FiniteSequence(X)X
definiendum last(S):=πlength(S)(S)

Discussion

Parents

Subset of

Surjective function

Context

Sequence length