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{card}(\mathrm{dom}(S))$ |
Discussion
Parents
Subset of
Context
Refinement of
