function ssub(var x1,x2: scalar): boolean;
begin { ssub }
  ssub:=(irdiff(x1.l,x2.l)>=0) and (irdiff(x1.u,x2.u)<=0);
end { ssub };

