for D being non empty set
for f, g being FinSequence of D holds ovlcon (f,g) = (ovlldiff (f,g)) ^ g