theorem :: LATWAL_2:37

for L being WA-Lattice st the InternalRel of L is transitive holds
wlatt L is Lattice