, |x|} |y| to be set of all alignments from x to y where an alignment aligns each target character y i to exactly one source character in x.
it allows zero-to-one 2 or many-to-one alignments between x and y.