theorem :: LATWAL_2:16

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