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