Definition. restr_eq
restr f A = f ∩ (A × UnivCl)