reserve X for set;

theorem Th15:
  for A being Subset of X ex F being sequence of bool X st rng F = {A}
proof
  let A be Subset of X;
  take NAT --> A;
  thus thesis by FUNCOP_1:8;
end;
