===== Sequence length =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ X $ |

| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{length}: \mathrm{Sequence}(X)\to\mathbb N\cup\{\infty\} $ |
| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{length}(S):= \left|\mathrm{dom}(S)\right|$ |
==== Discussion ====
==== Parents ====
=== Subset of ===
[[Injective function]]
=== Context ===
[[Sequence]]
=== Refinement of ===
[[Set cardinality]]