<p>We revisit the theory of fuzzy multisets to address formal inconsistencies in existing definitions. Building on Miyamoto’s intuitive membership sequences, we propose two revised frameworks on a common foundation. The first one (Option 1) retains explicit multiplicities even at null memberships, thereby distinguishing clearly between “no assignment” and “zero assignment”, while the second one (Option 2) restricts attention to the subfamily of fuzzy multisets that uniformly enforce zero multiplicity to null memberships. Under both frameworks, the new operations of union, intersection, and inclusion satisfy the usual algebraic laws, most notably the absorption law, which fails in the original treatment, and endow the family of fuzzy multisets with a lattice structure. Moreover, within Option 2 we define a complement operation by invoking a top multiset; this complement is order-reversing and involutive, thereby equipping bounded fuzzy multisets with a De Morgan algebra structure. Finally, we prove that <i>n</i>-dimensional fuzzy sets are isomorphic to <i>n</i>-bounded fuzzy multisets, and we study the formal connections between the lattices of general fuzzy multisets and multidimensional fuzzy sets.</p>