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