theorem Th65: :: FILTER_0:65

for L being Lattice
for F being Filter of L holds equivalence_wrt F is_symmetric_in the carrier of L