# Which definitions of builder notation exist for multiset theory?

Interesting cases would be

$A=[1,1], B=[2]$

$[(a,b) \mid a \in A \wedge b \in B] = [(1,2),(1,2)]$ ?

or

$C=[1,2,3]$

$[x \mid c \in C \wedge x = c \mod 2] = [1,0,1]$ ?

The only kind of informal definition for multiset-builder notation I could find was a part in the preliminaries section of A Potpourri of Reason Maintenance Methods.

Are there other (more rigorous) studies on that topic?

-
Unless you're developing multiset-theoretic foundations for mathematics, you don't really need a formal theory: you just a syntax and how to interpret it. –  Hurkyl Feb 23 '13 at 15:30
Right, it just came to my mind that the heading is a bit unfortunate, and the theory is just multiset theory with notations on top of that. Edit: I changed the heading. –  neo Feb 23 '13 at 15:31

$A = \{1,2,3\}, B=[1,1,2]$
$[x_{[y]} \mid x \in A \wedge y=2x] = [1,1,2,2,2,2,3,3,3,3,3,3]$
$[x_{[2n]} \mid x \in^n B] = [1,1,1,1,2,2]$
So, in general, $[x_{[y]} \mid P(x,y)]$ is the multiset of all elements $x$ with multiplicity $y$ that satisfy the predicate $P(x,y)$.