theorem LemmaRefl: :: LATWAL_2:20

for W being pcs-tol-reflexive pcs-tol-symmetric pcs-Compatible WAP-Lattice
for x being Element of W holds x (--) x