theorem Th37: :: FILTER_0:37

for L being Lattice
for H, F being Filter of L holds <.(F \/ H).) = <.(F "/\" H).)