1

A. Rabinovich, and B. A. Trakhtenbrot, in their Behavior Structures and Nets paper, uses the expression "partial multiset" without defining it.

In context, they have an alphabet $\Sigma$, a finite multiset $A$ over $\Sigma$, and let $B \subset A$ be a "partial multiset".

Should that be read simply as inclusion of multisets? They also discuss partial ordered multisets, but "partial" refers to the order, and not the multi-set.

Asaf Karagila
  • 393,674
Clément
  • 167
  • 2
    I have asked the question on mastodon and a discussion followed. We conjecture that it means "the support of $B$ should be strictly included in the support of $A$". – Clément Nov 16 '22 at 18:55

0 Answers0