subsequence_embedding (246B)
1 # Subsequence embedding 2 3 The *embedding* of a [word] u as a [subsequence] of [word] v is the [increasing] function mapping each position of u to the corresponding position of v (which must contain the same letter) 4 5 Up: [subsequence], [embedding]