for p being XFinSequence
for e being object holds dom (Shift (<%e%>,(card p))) = {(card p)}