theorem Th9: :: YELLOW13:9

for N being finite LATTICE holds SupMap N is one-to-one