Множества в Delphi

[0LMER]

Задание нужно выполнить с довольно таки ограниченными условиями. Нужно делать не через те же Мноежства, или массивы. Только через Записи, ещё и динамические. Суть задачи - ввести два произвольных множества - А и В. И проверить, является ли множество А подмножеством множества В.
Вся сложность заключается в том, какие требования нам выставили. Не совсем могу понять. Ладно суть "Записей" понять легко, но...
Задачу нужно реализовать таким способом:

То есть каждый элемент множества имеет Адрес (Link) (который должен указывать на предыдущий элемент), и число (Inf). + самое главное - используя типизированные указатели.
К примеру с Эдита должно брать значения множества, вот примерно написал как взять одно:

type
   TPtr = ^TElem;
   TElem = record
      Inf: real;
      Link: TPtr;
      end;
var
  A:TPtr;
begin
  New(A);
  A^.Inf:=StrToFloat(Edit1.Text);
  A^.Link:=nil;
  BegQ:=A;
  EndQ:=A;
  Edit2.Text:=FloatToStr(A^.Inf);
end;

Здесь A^.Link:=nil, так как это первый элемент. Следующий должен иметь связь с этим и т.д.
Для реализации этого можно использовать ещё две переменных такого типа, которые указывают на начальный и конечный элемент множества. Тоесть с добавлением элемента в множество переменная с адресом последнего элемента просто сдвигается.
Но я не могу понять принцип создания остальных элементов множества, и связи между ними по адресу. Достаточно ли двух переменных для двух множеств? Можно ли заносить в одну такую переменную несколько значений как в массив? И если да, то как использовать идентификатор конкретного элемента? Про проверку пока вообще молчу, если не получается даже сформировать множество.