for C being Cocartesian_category
for a being Object of C holds
( dom (init a) = EmptyMS C & cod (init a) = a )