theorem :: CATALG_1:6

for A being set holds underlay (CatSign A) = A