for D being non empty set
for CR, r being File of D st CR is_postposition_of r holds
r = addcr (r,CR)