在Ada语言中，没有直接类似于Pascal的集合类型。不过，可以使用Ada中的其他数据类型和特性来实现类似的功能。

一种常见的方法是使用Ada的数组和布尔类型来实现一个集合。下面是一个示例代码：

with Ada.Text_IO;

procedure Set_Example is
   type Set_Type is array(Integer range 1 .. 100) of Boolean;
   Set_Variable : Set_Type;

   procedure Add_Element(Set_Var : in out Set_Type; Element : Integer) is
   begin
      Set_Var(Element) := True;
   end Add_Element;

   procedure Remove_Element(Set_Var : in out Set_Type; Element : Integer) is
   begin
      Set_Var(Element) := False;
   end Remove_Element;

   function Is_Element_In_Set(Set_Var : Set_Type; Element : Integer) return Boolean is
   begin
      return Set_Var(Element);
   end Is_Element_In_Set;

begin
   -- 添加元素到集合
   Add_Element(Set_Variable, 2);
   Add_Element(Set_Variable, 5);
   Add_Element(Set_Variable, 8);

   -- 检查元素是否在集合中
   Ada.Text_IO.Put_Line("2 is in the set: " & Boolean'Image(Is_Element_In_Set(Set_Variable, 2)));
   Ada.Text_IO.Put_Line("5 is in the set: " & Boolean'Image(Is_Element_In_Set(Set_Variable, 5)));
   Ada.Text_IO.Put_Line("8 is in the set: " & Boolean'Image(Is_Element_In_Set(Set_Variable, 8)));
   Ada.Text_IO.Put_Line("10 is in the set: " & Boolean'Image(Is_Element_In_Set(Set_Variable, 10)));

   -- 从集合中移除元素
   Remove_Element(Set_Variable, 5);

   -- 再次检查元素是否在集合中
   Ada.Text_IO.Put_Line("5 is in the set: " & Boolean'Image(Is_Element_In_Set(Set_Variable, 5)));
end Set_Example;

在上面的示例代码中，我们定义了一个名为Set_Type的数组类型，表示集合。每个数组元素表示集合中的一个元素，布尔值表示元素是否存在于集合中。Add_Element和Remove_Element过程用于添加和移除元素，Is_Element_In_Set函数用于检查元素是否在集合中。

请注意，上述示例只是演示了一种可能的方法，具体实现方式可以根据实际需求进行调整。