Rejestracja własności sethood

registration
  let x1 be Θ1;
   .....
  let xn be Θn;
  sethood of ξ1 ... ξm Θ(x1,...,xn)
  proof
    take X = τ(x1,...,xn);
    let x be ξ1 ... ξm Θ(x1,...,xn);
    thus x in X;
  end;
end;