theorem Lemacik2: :: LATWAL_1:13

for L being WA_Lattice
for x, y, z being Element of L st z [= x & z [= y holds
z [= x "/\" y