===== Bit string =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $ T:\mathbb N\to\mathbb N $|

| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{it}\equiv\{0,1\}^* $ |

==== Discussion ==== 
==== Parents ====
=== Requirements ===
[[Kleene star]], [[Natural number]]