for p, q being Function st q is disjoint_valued & p c= q holds
p is disjoint_valued