Проверить утверждение, что Множества А и В совпадают

{Создать два множества А и В с произвольным количеством элементов,
содержащих целые числа в диапазоне от -10 до 10. Проверить следующие
утверждения: <Множества А и В совпадают>, <Все элементы множества А принадлежат множеству В>. Результаты вывести на экран.         }
uses
  math;
const
  set_size=255;
var
  a,b:set of byte;
  n,x:byte;
  i:byte;
begin
  randomize;
  a:=[];  b:=[];
  n:=random(set_size div 2) + set_size div 4;
  for i:=1 to n do
    begin
//      x:=randomrange(0,255);
      x:=randomrange(10,20); //отладка
      include(a,x);
    end;
  writeln('Множество A: ');
  i:=0;
  for x:=low(a) to high(a) do
    if x in a then
      begin
        write(x:4);
        inc(i);
      end;
  writeln;
  writeln('Размер множества A: ',i);
  writeln;
  n:=random(set_size div 2) + set_size div 4;
  for i:=1 to n do
    begin
//      x:=randomrange(0,255);
      x:=randomrange(10,30); //отладка
      include(b,x);
    end;
  writeln('Множество B: ');
  i:=0;
  for x:=low(b) to high(b) do
    if x in b then
      begin
        write(x:4);
        inc(i);
      end;
  writeln;
  writeln('Размер множества B: ',i);
  writeln;
  if b-a=[] then
    writeln('Множества совпадают.')
  else
    writeln('Множества не совпадают.');
  if b*a=a then
    writeln('Все элементы множества А принадлежат множеству В.')
  else
    writeln('Элементы множества А не принадлежат множеству В.');
  readln;
end.

{Создать два множества А и В с произвольным количеством элементов,
содержащих целые числа в диапазоне от -10 до 10. Проверить следующие
утверждения: <Множества А и В совпадают>, <Все элементы множества А принадлежат множеству В>. Результаты вывести на экран.         }
//uses math;
const
  set_size=255;
var
  a,b:set of byte;
  n,x:byte;
  i:byte;
begin
  randomize;
  a:=[];  b:=[];
  n:=random(set_size div 2) + set_size div 4;
  for i:=1 to n do
    begin
//      x:=randomrange(0,255);
      x:=random(10,20); //отладка
      include(a,x);
    end;
  writeln('Множество A: ');
  i:=0;
  //for x:=0 to 255 do
  //  if x in a then
  foreach x in a do
      begin
        write(x:4);
        inc(i);
      end;
  writeln;
  writeln('Размер множества A: ',i);
  writeln;
  n:=random(set_size div 2) + set_size div 4;
  for i:=1 to n do
    begin
//      x:=randomrange(0,255);
      x:=random(10,30); //отладка
      include(b,x);
    end;
  writeln('Множество B: ');
  i:=0;
  //for x:=0 to 255 do
  //  if x in b then
  foreach x in b do
      begin
        write(x:4);
        inc(i);
      end;
  writeln;
  writeln('Размер множества B: ',i);
  writeln;
  if b-a=[] then
    writeln('Множества совпадают.')
  else
    writeln('Множества не совпадают.');
  if b*a=a then
    writeln('Все элементы множества А принадлежат множеству В.')
  else
    writeln('Элементы множества А не принадлежат множеству В.');
  readln;
end.