consider X being non empty set such that
A1: the Instructions of S c= [:NAT ,(NAT * ),(X * ):] by COMPOS_1:def 17;
I in the Instructions of S ;
then JumpPart I in NAT * by A1, RECDEF_2:2;
hence ( JumpPart I is Function-like & JumpPart I is Relation-like ) ; :: thesis: verum