program Project16; type TA = (a1,a2,a3); TB = (b1,b2,b3); TASet = set of TA; TBSet = set of TB; procedure test(x: TASet; y: TBset); begin end; begin test([a1,a2],[]); test([a1..a3],[b2]); test([a1..a3],[b1..b3]); // test([a1,b2],[b1,b3]); - не скомпилится. end.