theorem
  for W being WA-Lattice holds
    SymmetricHull W is Tolerance of the carrier of W;
