Создать матрицу отношений больше или равно и проверить эти отношение на свойство транзитивности — Pascal(Паскаль)

program bolshe_ili_ravno;
type
   univ=array [1..5,1..5] of integer;
var
   a:univ;
   i,j,x,k:integer;
   rez:string;
   Label 10;
begin
for i:=1 to 4 do
    begin
    readln(x);
    a[1,i+1]:=x;
    a[i+1,1]:=x;
    end;
for i:=2 to 5 do
    for j:=2 to 5 do
    if a[i,1]>=a[1,j] then a[i,j]:=1 else a[i,j]:=0;
for i:=2 to 5 do
    begin
       for j:=2 to 5 do write (a[i,j]);
       writeln;
    end;
for i:=2 to 5 do
    for j:=2 to 5 do
       if a[i,j]=1 then
                 for k:=2 to 5 do
                 if  a[j,k]=1 then
                     if a[i,k]<>1 then
                       begin
                       rez:='Не транзитивна';
                       goto 10;
                       end;
rez:='Транзитивна';
10: writeln (rez);
readln;
end.