theorem Th14: :: FILTER_0:14

for L being Lattice holds the carrier of L is Filter of L