This is an old revision of the document!


Sequence length

Set

context $ X $
definiendum $ \mathrm{length}: \mathrm{Sequence}(X)\to\mathbb N\cup\{\infty\} $
definiendum $ \mathrm{length}(S):= |\mathrm{dom}(S)|$

Discussion

Parents

Subset of

Context

Refinement of

Link to graph
Log In
Improvements of the human condition