theorem :: CLOSURE:11
  id (Bool A) is reflexive SetOp of A
proof
  reconsider f = id (Bool A) as SetOp of A;
  f is reflexive;
  hence thesis;
end;
