for S being non empty Categorial delta-concrete Signature holds S is CatSignature of underlay S