theorem Th9: :: YELLOW13:9

for N being finite LATTICE holds SupMap N is V13()