Analogously, the empty net is a subnet of every net, the empty sequence is a subsequence of every sequence etc etc.
Also, [p implies q] is vacuously true if p is false.
Strings are maps from nonnegative integers to the space of characters. You can think of them as sets of ordered pairs or sequences.
