theorem Th14: :: LFUZZY_0:14

for A being non empty set holds the carrier of (FuzzyLattice A) = Funcs (A,[.0,1.])