for C being Cartesian_category
for a being Object of C holds term a = term (a,([1] C))