Property information
definition
x overlaps the sequence of x if and only if x has a subsequence z and z is a subsequence of y.