# Results on Functions on Dedekind Multisets

^{1}

^{2}

^{*}

^{†}

*Keywords:*multisets; functions on multiset; selection operation; submultiset

Next Article in Journal

Next Article in Special Issue

Next Article in Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Department of Mathematics and Physics, University of Defence Brno, Kounicova 65, 66210 Brno, Czech Republic

Department of Mathematics, Faculty of Science, University of Ibadan, Ibadan 200284, Oyo State, Nigeria

Author to whom correspondence should be addressed.

These authors contributed equally to this work.

Received: 16 July 2019
/
Revised: 27 August 2019
/
Accepted: 2 September 2019
/
Published: 4 September 2019

(This article belongs to the Special Issue Symmetry in Classical and Fuzzy Algebraic Hypercompositional Structures)

Many real-life problems are well represented only by sets which allow repetition(s), such as the multiset. Although not limited to the following, such cases may arise in a database query, chemical structures and computer programming. The set of roots of a polynomial, say $f\left(x\right)$ , has been found to correspond to a multiset, say F. If $f\left(x\right)$ and $g\left(x\right)$ are polynomials whose sets of roots respectively correspond to the multisets $F\left(x\right)$ and $G\left(x\right)$ , the set of roots of their product, $f\left(x\right)g\left(x\right)$ , corresponds to the multiset $F\uplus G$ , which is the sum of multisets F and G. In this paper, some properties of the algebraic sum of multisets ⊎ and some results on selection are established. Also, the count function of the image of any function on Dedekind multisets is defined and some of its properties are established. Some applications of these multisets are also given.

Let us start with the words of Prof. Irina Cristea that motivated us for this study; in many cases Symmetry plays a fundamental role in our daily lives and in the study of the structure of different objects in physics, chemistry, biology, mathematics, architecture, arts, sociology, linguistics, etc. For example, the structure of molecules is well explained by their symmetry properties, described by symmetry elements and symmetry operations. A symmetry operation is a change, a transformation after which certain objects remain invariant, such as rotations, reflections, inversions, or permutation operations. Until now, the most efficient way to better describe symmetry, is using mathematical tools offered by group theory.

The notion of multiset can be traced to as far back as 1888 where Dedekind in [1] said that an element of a set may belongs to it more than once. In 1989, Blizard in his paper [2] developed a first-order two-sorted multi set theory for multisets that “contains” classical set theory. Later on, in 1993 [3], he identified a kind of multiset which is based on the function of the root set. This idea was primarily from the work of Dedekind in [1].

However, Syropoulos in [4] also studied various operations on multisets and extended his work to category of multisets. Wildberger in [5] considered the use of multisets in data structure and also related it to tropical mathematics and gave some applications of it responding to meet catalogue of orders emanating from various customers from a set of inventory of a sales company. Knuth [6] related multisets to various aspects of computer programming.

Multisets are furthermore studied in the form of, and substituted with, numerous concepts such as bag, fireset (**f**initely **r**epeated **e**lement **s**et), heap, bunches, etc. These concepts have all been studied by various mathematicians with different applications.

To be specific, Nazmul et al. [7] extended the study of multisets to multigroup and other related algebraic properties as in the classical group. Concepts such as multicosets, [8,9] symmetric multigroup, and many others have all been studied [10,11,12]. Yohanna and Simon studied symmetric groups under multiset in [13]. Congruences of Multialgebra were studie by Ameri and Rosenberg in [14]. Even if the list of related papers is long we would like to draw the readers attention only to some of them, e.g., [4,5,15,16].

In this paper, we present some of the operations on multisets and some applications to real-life problems, number theory and management [17].

In this paper, we shall use X to denote a non-empty set.

([7]) Let multisets A and B be drawn from X. A is said to be a submultiset of B and is denoted $A\subseteq B$ if ${C}_{A}\left(x\right)\le {C}_{B}\left(x\right)\phantom{\rule{0.166667em}{0ex}}\forall x\in X$.

([7]) The root set or support of a multiset M, which is denoted by ${M}^{*}$, is the set which contains the distinct elements in the multiset. Hence, ${M}^{*}$ is the set of $x\in M$ such that ${C}_{M}\left(x\right)>0$.

A multiset M is called a regular multiset if ${C}_{M}\left(x\right)={C}_{M}\left(y\right)\phantom{\rule{0.277778em}{0ex}}\forall x,y\in M.$ The count function of the intersection of two multisets A and B both drawn from X is denoted by ${C}_{A}\left(x\right)\cap {C}_{B}\left(x\right)=min\{{C}_{A}\left(x\right),{C}_{B}\left(x\right)\}$ and that of their union is denoted ${C}_{A}\left(x\right)\cup {C}_{B}\left(x\right)=max\{{C}_{A}\left(x\right),{C}_{B}\left(x\right)\}$.

Multisets A and B are said to be equal if and only if ${C}_{A}\left(x\right)={C}_{B}\left(x\right)$. Denote by ${\left[X\right]}^{\alpha}$, all the multisets whose elements have the multiplicity not more than $\alpha $ and $MS\left(X\right)$ the set of all multisets drawn from X. An empty multiset $\varphi $ is such that ${C}_{\varphi}\left(x\right)=0,\phantom{\rule{0.277778em}{0ex}}\forall x\in X$. Cardinality of a multiset M is denoted by $\left|M\right|=\sum {C}_{M}\left(x\right),\phantom{\rule{0.277778em}{0ex}}\forall x\in M$. The peak element $x\in M$ is such that ${C}_{M}\left(x\right)\ge {C}_{M}\left(y\right),\phantom{\rule{0.277778em}{0ex}}\forall y\in M.$

([18])

- i.
- Consider $A\in MS\left(X\right)$. The insertion of x into A results into a multiset denoted by $\mathcal{C}=x\uplus A$ which has the count function$${C}_{\mathcal{C}}\left(y\right)=\left\{\begin{array}{c}{C}_{A}\left(y\right),\phantom{\rule{2.em}{0ex}}y\ne \phantom{\rule{3.33333pt}{0ex}}x\hfill \\ \phantom{\rule{4pt}{0ex}}\hfill \\ {C}_{A}\left(x\right)+1,\phantom{\rule{0.277778em}{0ex}}y=x.\hfill \end{array}\right.$$
- ii.
- Consider $A,B\in MS\left(X\right)$. The insertion of A into B or of B into A results into a multiset $\mathcal{C}$ which has the count function denoted by ${C}_{\mathcal{C}}\left(x\right)={C}_{A}\left(x\right)+{C}_{B}\left(x\right)$.

It should be noted that the operation of insertion (⊎) on the set of all multisets drawn from X, that is $MS\left(X\right)$, is commutative and associative.

([18])

- i.
- Consider $A\in MS\left(X\right)$. The removal of x from A results into a multiset denoted by $\mathcal{D}=A\ominus x$ which has the count function$${C}_{\mathcal{D}}\left(y\right)=\left\{\begin{array}{c}max\{{C}_{A}\left(y\right)-1,0\},\phantom{\rule{0.277778em}{0ex}}y=x\hfill \\ \phantom{\rule{4pt}{0ex}}\hfill \\ {C}_{A}\left(y\right),\phantom{\rule{2.em}{0ex}}\phantom{\rule{2.em}{0ex}}\phantom{\rule{2.em}{0ex}}y\ne x.\hfill \end{array}\right.$$
- ii.
- Consider $A,B\in MS\left(X\right)$. The removal of B from A results into a multiset which has the count function denoted by ${C}_{\mathcal{D}}\left(x\right)=max\{{C}_{A}\left(x\right)-{C}_{B}\left(x\right),0\}.$

It should be noted that the removal operation is neither commutative nor associative. Besides, it is also possible to make some kind of selection in multisets using the following operations.

- i.
- The multiset $\mathcal{E}=A\otimes B$ is such that $\mathcal{E}$ only contains elements of A which also occur in B. The count function of $\mathcal{E}$ is denoted by$${C}_{\mathcal{E}}\left(x\right)=\left\{\begin{array}{c}{C}_{A}\left(x\right),\phantom{\rule{0.277778em}{0ex}}x\in \phantom{\rule{3.33333pt}{0ex}}B\hfill \\ \phantom{\rule{4pt}{0ex}}\hfill \\ 0,\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}x\notin B.\hfill \end{array}\right.$$
- ii.
- The multiset $\mathcal{F}=A\u2a00B$ is such that $\mathcal{F}$ only contains elements of A which do not occur in B. The count function of $\mathcal{F}$ is denoted by$${C}_{\mathcal{F}}\left(x\right)=\left\{\begin{array}{c}{C}_{A}\left(x\right),\phantom{\rule{0.277778em}{0ex}}x\notin B\hfill \\ \phantom{\rule{4pt}{0ex}}\hfill \\ 0,\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}x\in B.\hfill \end{array}\right.$$

Operations defined above “$\phantom{\rule{0.166667em}{0ex}}\otimes $” or “$\phantom{\rule{0.166667em}{0ex}}\u2a00$” are called selection operations.

([7]) Let X be a group and $e\in X$ its identity. Then, $\forall x,y\in X$, a multiset M drawn from X is called a multigroup if

- i.
- ${C}_{M}\left(xy\right)\ge {C}_{M}\left(x\right)\wedge {C}_{M}\left(y\right),$
- ii.
- ${C}_{M}\left({x}^{-1}\right)\ge {C}_{M}\left(x\right).$

The immediate consequenceof this is that ${C}_{M}\left(e\right)\ge {C}_{M}\left(x\right)$ and ${C}_{M}\left({x}^{-1}\right)={C}_{M}\left(x\right)$, for any $x\in X$. We shall call $MG\left(X\right)$ the set of all multigroups drawn from X.

Let $X=\{1,2,3,4,5\}.$ Let the multiset $M=\{1,1,1,1,2,2,3,3,3,4,4,5,5\}$, $N=\{1,1,2,2,3,4,4,4,5\}$ and $W=\{1,1,1,2,3,3\}$ be drawn from X. It is also justifiable to say that X is the support of M and N. Furthermore, the root set of W is ${W}^{*}=\{1,2,3\}$.

- i.
- ${C}_{N}\left(1\right)=2$, ${C}_{N}\left(2\right)=2$, ${C}_{N}\left(3\right)=1$, ${C}_{N}\left(4\right)=3$ and ${C}_{N}\left(5\right)=1$
- ii.
- $M\cap N=\{1,1,2,2,3,4,4,5\}$. When two or more multisets are intersected, the minimum multiplicity of the common elements is taken.
- iii.
- $M\cup N=\{1,1,1,1,2,2,3,3,3,4,4,4,5,5\}$. When the union of two or more multisets is taken, the maximum multiplicity of the common elements is taken.
- iv.
- Neither is $M\subseteq N$, since ${C}_{M}\left(x\right)\le {C}_{N}\left(x\right)$ for all $x\in X$, nor $M\supseteq N$, since ${C}_{M}\left(x\right)\ge {C}_{N}\left(x\right)$ for all $x\in X$, but $W\subseteq M$, since ${C}_{W}\left(x\right)\le {C}_{M}\left(x\right)$ for all $x\in X$.

- i.
- Let $G=\{1,-1,i,-i\}$ be a group with the usual multiplication. $M=\{1,1,1,-1,-1,-1,i,i,-i,-i\}$ is a multigroup since it satisfies Definition 7 and Remark 1.
- ii.
- Consider the group ${Z}_{3}=\{0,1,2\}$ with the modulo addition. $M=\{0,0,0,1,1,$$2,2\}$ is a multigroup.

([10]) Let $A\in MS\left(X\right)$, where X is a group.

- i.
- ${A}_{n}=\{x:{C}_{A}\left(x\right)\ge n\}$;
- ii.
- We denote a multiset containing only one element x with multiplicity n as ${\left[n\right]}_{x}$–a simple multiset;
- iii.
- The complement of the multiset $M\in {\left[X\right]}^{\alpha}$ denoted by ${M}^{\prime}$ is such that ${C}_{{M}^{\prime}}\left(x\right)=\alpha -{C}_{M}\left(x\right)$;
- iv.
- $nA=\{{x}^{n},\phantom{\rule{0.277778em}{0ex}}\forall x\in A\phantom{\rule{0.277778em}{0ex}},n\phantom{\rule{0.277778em}{0ex}}is\phantom{\rule{0.277778em}{0ex}}the\phantom{\rule{0.277778em}{0ex}}multiplicity\phantom{\rule{0.277778em}{0ex}}of\phantom{\rule{0.277778em}{0ex}}each\phantom{\rule{0.277778em}{0ex}}element\phantom{\rule{0.277778em}{0ex}}that\phantom{\rule{0.277778em}{0ex}}appears\phantom{\rule{0.277778em}{0ex}}in\phantom{\rule{0.277778em}{0ex}}nA\}.$

Let $X=\{0,1,2,3\}$ which is a group with respect to addition modulo 4 and $A=\{0,0,0,1,1,2,2\}$ a multiset.

- i.
- $2A=\{0,0,0,0,0,0,1,1,1,1,2,2,2,2\}$, the multiplicities of each element in A is doubled;
- ii.
- ${\left[2\right]}_{0}=\{0,0\}$, this multiset comprises only 0 and its multiplicity is 2;
- iii.
- ${A}_{2}={A}_{1}={A}_{0}=\{0,1,2\}$ and ${A}_{3}=\left\{0\right\}.$ These are the sets of elements of A respectively with multiplicities 2, 1, 0 and 3.

For a multigroup A drawn from a group X, ${A}_{n}$ is a group, indeed the subgroup of X [7].

([7], p. 645) Let $A,B\in MS\left(X\right)$ and $m,n\in I\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}N$.

- i.
- If $A\subseteq B$, then ${A}_{n}\subseteq {B}_{n}$;
- ii.
- If $m\le n$, then ${A}_{m}\supseteq {A}_{n}$;
- iii.
- ${(A\cap B)}_{n}={A}_{n}\cap {B}_{n}$;
- iv.
- ${(A\cup B)}_{n}={A}_{n}\cup {B}_{n}$;
- v.
- $A=B$ if and only if ${A}_{n}={B}_{n},\phantom{\rule{0.277778em}{0ex}}\forall n\in I\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}N$.

([7]) Let X and Y be two nonempty sets such that $f:X\u27f6Y$ is a mapping. Consider the multisets $M\in {\left[X\right]}^{\alpha}$ and $N\in {\left[Y\right]}^{\alpha}$. Then,

- i.
- the image of M under f denoted $f\left(M\right)$ has the count function$${C}_{f\left(M\right)}\left(y\right)=\left\{\begin{array}{c}\underset{f\left(x\right)=y}{\bigvee}{C}_{M}\left(x\right),\phantom{\rule{0.277778em}{0ex}}if\phantom{\rule{0.277778em}{0ex}}{f}^{-1}\left(y\right)\ne \xd8\hfill \\ \phantom{\rule{4pt}{0ex}}\hfill \\ 0,\phantom{\rule{2.em}{0ex}}\phantom{\rule{2.em}{0ex}}\phantom{\rule{1.em}{0ex}}otherwise;\hfill \end{array}\right.$$
- ii.
- the inverse image of N under f denoted ${f}^{-1}\left(N\right)$ has the count function ${C}_{{f}^{-1}\left(N\right)}\left(x\right)={C}_{N}\left[f\left(x\right)\right]$.

The following Propositions were proved in [7]. But we shall later show that the items (iv), (v) and (vii) are not true and that the Proposition 2 needs to be restated.

([7]) Let X, Y and Z be three nonempty sets such that $f:X\u27f6Y$ and $g:Y\u27f6Z$ are mappings. If ${M}_{i}\in {\left[X\right]}^{\alpha}$, ${N}_{i}\in {\left[Y\right]}^{\alpha}$, $i\in I$ then

- i.
- ${M}_{1}\subseteq {M}_{2}\Rightarrow f\left({M}_{1}\right)\subseteq f\left({M}_{2}\right)$;
- ii.
- $f\left({\cup}_{i\in I}{M}_{i}\right)={\cup}_{i\in I}f\left({M}_{i}\right)$;
- iii.
- ${N}_{1}\subseteq {N}_{2}\Rightarrow {f}^{-1}\left({N}_{1}\right)\subseteq {f}^{-1}\left({N}_{2}\right)$;
- iv.
- ${f}^{-1}\left({\cup}_{i\in I}{M}_{i}\right)={\cup}_{i\in I}{f}^{-1}\left({M}_{i}\right)$;
- v.
- ${f}^{-1}\left({\cap}_{i\in I}{M}_{i}\right)={\cap}_{i\in I}{f}^{-1}\left({M}_{i}\right)$;
- vi.
- $f\left({M}_{i}\right)\subseteq {N}_{j}\Rightarrow {M}_{j}\subseteq {f}^{-1}\left({N}_{j}\right)$;
- vii.
- $g\left[f\left({M}_{i}\right)\right]=\left[gf\right]\left({M}_{i}\right)$ and ${f}^{-1}\left[{g}^{-1}\left({N}_{j}\right)\right]={\left[gf\right]}^{-1}\left({N}_{j}\right)$.

In the following section we now introduce some new results and properties of defined operations.

The operation ⊎ in Definition 4(ii) is such that:

- i.
- Let A be a multiset drawn a nonempty set X. The n insertion of A into itself denoted ${\uplus}_{n}A=nA$;
- ii.
- $A\uplus A=A\iff A=\varphi $.

- By Definition 4(ii),$${C}_{{\uplus}_{n}A}\left(x\right)=\underset{n\phantom{\rule{0.277778em}{0ex}}times}{\underbrace{{C}_{A}\left(x\right)+{C}_{A}\left(x\right)+\cdots +{C}_{A}\left(x\right)}}=n{C}_{A}\left(x\right)\phantom{\rule{0.277778em}{0ex}}\forall x\in A;$$
- Assume that $A\uplus A=A$ but $A\ne \xd8$. By (i), $A\uplus A=2A$. Then, $2A=A$. This is not possible by Definition 4(ii). Thus, $A=\xd8$.Conversely, assume that $A=\xd8$ but $A\uplus A\ne A=\xd8$. Then $A\uplus A=2A$. But ${C}_{A}\left(x\right)=0;\phantom{\rule{0.277778em}{0ex}}\forall x\in X.$ Then, ${C}_{A\uplus A}\left(x\right)={C}_{A}\left(x\right)+{C}_{A}\left(x\right)=0$. This implies that $A\uplus A=\xd8$. This is a contradiction. Hence, $A\uplus A=A.$

□

Some properties of the selection operation ⨂ in Definition 6(i) and ⨀ in Definition 6(ii) will be illustrated here. Let X be a nonempty set, $A\in MS\left(X\right)$, $B\subseteq X$ and $E=A\u2a00B$.

- i.
- Let $D=A\u2a02B$. If $B\subset {A}^{*}$ then $D\subseteq A$. If ${A}^{*}\subseteq B$ then $D=A$.
- ii.
- If $B\subset {A}^{*}$ then $E\subseteq A$. If ${A}^{*}\subseteq B$ then $E=\xd8$.
- iii.
- ${D}^{*}\cup {E}^{*}={A}^{*}$.

This will be illustrated by the following Examples.

Let $X=\{1,2,3,4,5\}$, $B=\{2,3,5\}$.

- i.
- If $A=\{1,1,1,2,3,3,3,4,4,5,5\}$. Then, $D=\{2,3,3,3,5,5\}$, $E=\{1,1,1,4,4\}$ and ${A}^{*}=\{1,2,3,4,5\}$. Obviously, $B\subseteq {A}^{*}$, $D\subseteq A$ and $E\subseteq A$.
- ii.
- If, on the other hand, $A=\{3,3,3,5,5\}$, ${A}^{*}=\{3,5\}$. Then, ${A}^{*}\subseteq B$, $D=\{3,3,3,5,5\}=A$ and $E=\xd8$.
- iii.
- In [i], ${D}^{*}=\{2,3,5\}$ and ${E}^{*}=\{1,4\}$. Hence, ${D}^{*}\cup {E}^{*}={A}^{*}$. Also, in [ii] ${D}^{*}=\{3,5\}$ and ${E}^{*}=\xd8$. Hence, ${D}^{*}\cup {E}^{*}={A}^{*}$.

Let A be a multiset drawn from X and $B\subseteq X$. Then, ${A}^{*}\cap B={(A\u2a02B)}^{*}$.

Let $x\in ({A}^{*}\cap B)$. Then $x\in {A}^{*}$ and $x\in B$. Thus, ${C}_{A}\left(x\right)\ne 0$. Hence, $x\in A\u2a02B$. It can be concluded that $x\in {(A\u2a02B)}^{*}$, in which case $({A}^{*}\cap B)\subseteq {(A\u2a02B)}^{*}$.

Also, let $x\in {(A\u2a02B)}^{*}$, then ${C}_{(A\u2a02B)}\left(x\right)\ne 0$. This implies that $x\in B$ and ${C}_{A}\left(x\right)\ne 0$ in which case $x\in {A}^{*}$. Then $x\in ({A}^{*}\cap B)$. Thus, ${(A\u2a02B)}^{*}\subseteq ({A}^{*}\cap B).$ □

Let A and B be multisets drawn from X.

- i.
- $A\cup B\subseteq A\uplus B$;
- ii.
- $A\cup B=A\uplus B$ if $A\cap B=\xd8$.

Note that for any non-negative integers n and m, $max(n,m)\le n+m$ and that $max(n,m)=n+m$ if either m or n is 0. Let ${C}_{A}\left(x\right)=n$ and ${C}_{B}\left(x\right)=m$.

- ${C}_{A\cup B}\left(x\right)={C}_{A}\left(x\right)\vee {C}_{B}\left(x\right)=max(n,m)\le n+m={C}_{A}\left(x\right)+{C}_{B}\left(x\right)={C}_{A\uplus B}\left(x\right)$;
- Since $A\cap B=\xd8$, if $x\in A$, ${C}_{A}\left(x\right)=n$ and ${C}_{B}\left(x\right)=0$. On the other hand, if $x\in B$, ${C}_{B}\left(x\right)=m$ and ${C}_{A}\left(x\right)=0$. ${C}_{A\cup B}\left(x\right)={C}_{A}\left(x\right)\vee {C}_{B}\left(x\right)=max(n,m)=n+m={C}_{A}\left(x\right)+{C}_{B}\left(x\right)={C}_{A\uplus B}\left(x\right)$.

□

Recall the Definition of ${A}_{n}$ and the complement of a multiset M denoted ${M}^{\prime}$ by [7]. For a non-empty set Y, define a characteristic function
We now introduce the complement of ${A}_{n}$ denoted by ${A}_{n}^{\prime}$.

$${\mu}_{Y}\left(y\right)=\left\{\begin{array}{c}1,\phantom{\rule{0.277778em}{0ex}}\mathrm{if}\phantom{\rule{0.277778em}{0ex}}y\in Y;\hfill \\ \phantom{\rule{4pt}{0ex}}\hfill \\ 0,\phantom{\rule{0.277778em}{0ex}}\mathrm{if}\phantom{\rule{0.277778em}{0ex}}y\notin Y.\hfill \end{array}\right.$$

Let A be a multiset drawn from X and ${A}_{n}$ as defined in Definition 8(iii). ${A}_{n}^{\prime}=\{x\in X:{\mu}_{{A}_{n}}\left(x\right)=0\phantom{\rule{0.277778em}{0ex}}and\phantom{\rule{0.277778em}{0ex}}{C}_{M}\left(x\right)<n\}$.

The following results shows that ${A}_{n}^{\prime}$ is well-defined.

- i.
- If $m\le n$, then ${A}_{m}^{\prime}\subseteq {A}_{n}^{\prime}$
- ii.
- $A\subseteq B\Rightarrow {B}_{n}^{\prime}\subseteq {A}_{n}^{\prime}$.
- iii.
- ${A}_{n}^{\prime}\cup {B}_{n}^{\prime}={(A\cap B)}_{n}^{\prime}$;
- iv.
- ${A}_{n}^{\prime}\cap {B}_{n}^{\prime}={(A\cup B)}_{n}^{\prime}.$

- The proof is evident.
- Since $A\subseteq B,{C}_{B}\left(x\right)\ge {C}_{A}\left(x\right)$. Let $x\in {A}_{n},{C}_{A}\left(x\right)\ge n$. But ${C}_{B}\left(x\right)\ge {C}_{A}\left(x\right)\ge n$. Then $x\in {B}_{n}$ and that implies that ${A}_{n}\subseteq {B}_{n}$. From elementary set theory, ${B}_{n}^{\prime}\subseteq {A}_{n}^{\prime}$.
- Let $x\in {(A\cap B)}_{n}^{\prime}$ then ${C}_{(A\cap B)}\left(x\right)<n$. Thus, $min\{{C}_{A}\left(x\right),{C}_{B}\left(x\right)\}<n$ in which case, ${C}_{A}\left(x\right)<n$ or ${C}_{B}\left(x\right)<n$. We conclude that $x\in {A}_{n}^{\prime}$ or $x\in {B}_{n}^{\prime}$. Hence, $x\in ({A}_{n}^{\prime}\cup {B}_{n}^{\prime})$ and ${(A\cap B)}_{n}^{\prime}\subseteq ({A}_{n}^{\prime}\cup {B}_{n}^{\prime})$.Now let $x\in ({A}_{n}^{\prime}\cup {B}_{n}^{\prime})$. $x\in {A}_{n}^{\prime}$ or $x\in {B}_{n}^{\prime}$ or both. Then, $x\notin {A}_{n}$ or $x\notin {B}_{n}$ or not in both. ${C}_{A}\left(x\right)<n$ and ${C}_{B}\left(x\right)<n$. Therefore, ${C}_{A}\left(x\right)\wedge {C}_{B}\left(x\right)={C}_{(A\cap B)}\left(x\right)<n$. We conclude that $x\in {(A\cap B)}_{n}^{\prime}$ and $({A}_{n}^{\prime}\cup {B}_{n}^{\prime})\subseteq {(A\cap B)}_{n}^{\prime}$.
- Let $x\in ({A}_{n}^{\prime}\cap {B}_{n}^{\prime})$. Then, $x\in {A}_{n}^{\prime}$ and $x\in {B}_{n}^{\prime}$, which implies that $x\notin {A}_{n}$ and $x\notin {B}_{n}$. Thus, ${C}_{A}\left(x\right)<n$ and ${C}_{B}\left(x\right)<n$. As a result, ${C}_{A}\left(x\right)\vee {C}_{B}\left(x\right)={C}_{A\cup B}\left(x\right)<n$. Consequently, $x\in {(A\cup B)}_{n}^{\prime}\Rightarrow {A}_{n}^{\prime}\cap {B}_{n}^{\prime}\subseteq {(A\cup B)}_{n}^{\prime}$.On the other hand, let $x\in {(A\cup B)}_{n}^{\prime}$. Then, $x\notin {(A\cup B)}_{n}$ and ${C}_{A\cup B}\left(x\right)<n$. Furthermore, if ${C}_{A\cup B}\left(x\right)={C}_{A}\left(x\right)\vee {C}_{B}\left(x\right)<n$, then ${C}_{A}\left(x\right)<n$ and ${C}_{B}\left(x\right)<n$. The consequence is that $x\in {A}_{n}^{\prime}$ and $x\in {B}_{n}^{\prime}$. Hence, $x\in ({A}_{n}^{\prime}\cap {B}_{n}^{\prime})\Rightarrow {(A\cup B)}_{n}^{\prime}\subseteq ({A}_{n}^{\prime}\cap {B}_{n}^{\prime})$. □

Then the complement of ${A}_{n}$ denoted ${A}_{n}^{\prime}$ is well-defined.

Dedekind, in his paper “Was sind und was sollen die Zahlen?” had said that “the frequency-number of an image is the number of its preimages” [1]. Hence, if there are n elements in a domain X (of a function f mapping X to Y) which are mapped to an element $y\in Y$, then y has frequency n so that it is an n-fold element of Y. This defines a kind of multiset (Dedekind’s multiset) denoted by ${M}_{f}$ and $\left|dom\left(f\right)\right|=|{M}_{f}|$. This fact will be illustrated by the following Example.

Let $f:X\to Y$ be a mapping on two non-empty sets and $f:M\to N$ be a mapping on multisets M and N respectively drawn from X and Y. If ${C}_{N}\left(y\right)={C}_{M}\left(x\right)$ for all $y\in Y$ such that $f\left(x\right)=y$, M and N are Dedekind’s multisets.

Let $X=\{-1,-1,-1,1,1,2,2\}$ and $f\left(x\right)={x}^{2}$. Then, the Dedekind’s multiset ${M}_{f}=\{1,1,1,1,1,4,4\}$.

But, following the Definition by Nazmul et al. [7] which is stated in this article as Definition 2(i), if a multiset $M=\{-1,-1,-1,1,1,2,2\}$ is mapped by $f\left(x\right)={x}^{2},f\left(M\right)=\{1,1,1,4,4\}$. This is because $\xd8\ne {f}^{-1}\left(1\right)=\pm 1$ and $\xd8\ne {f}^{-1}\left(4\right)=\pm 2$; $max\{{C}_{M}\left(1\right),{C}_{M}(-1)\}=3$ and $max\{{C}_{M}\left(2\right),{C}_{M}(-2)\}=2$; thus $\left|M\right|\ne \left|f\right(M\left)\right|$. Hence, Nazmul et al.’s Definition of function on multisets fails for Dedekind’s multisets.

Moreover, in Proposition 2, since ${M}_{i}\in {\left[X\right]}^{\alpha}$ and ${N}_{i}\in {\left[Y\right]}^{\alpha}$, and f maps X to Y, ${f}^{-1}\left({M}_{i}\right)$ is undefined but ${f}^{-1}\left({N}_{i}\right)$ is. Also, ${f}^{-1}{g}^{-1}\left[{N}_{j}\right]$ is not defined. There should be a multiset say ${W}_{i}\in {\left[Z\right]}^{\alpha}$ so that ${f}^{-1}{g}^{-1}\left[{W}_{i}\right]$ is defined. Hence, properties (iv), (v) and (vii) are not true. Against these backgrounds, there is the need to redefine Definition 2(i) and state some properties of this new Definition.

Let X and Y be two non-empty sets and $f:X\u27f6Y$ a mapping such that $M\in {\left[X\right]}^{\alpha}$. Then, ${C}_{f\left(M\right)}\left(y\right)=\sum _{{f}^{-1}\left(y\right)\ne \xd8f\left(x\right)=y}{C}_{M}\left(x\right)$.

Let X, Y and Z be three nonempty sets such that $f:X\u27f6Y$ and $g:Y\u27f6Z$ are mappings. If ${M}_{i}\in {\left[X\right]}^{\alpha}$, ${N}_{i}\in {\left[Y\right]}^{\alpha}$ and ${W}_{i}\in {\left[Z\right]}^{\alpha}$ with $i\in I$, then

- i.
- ${M}_{1}\subseteq {M}_{2}\Rightarrow f\left({M}_{1}\right)\subseteq f\left({M}_{2}\right)$;
- ii.
- $f\left({\cup}_{i\in I}{M}_{i}\right)\supseteq {\cup}_{i\in I}f\left({M}_{i}\right)$;
- iii.
- ${N}_{1}\subseteq {N}_{2}\Rightarrow {f}^{-1}\left({N}_{1}\right)\subseteq {f}^{-1}\left({N}_{2}\right)$;
- iv.
- ${f}^{-1}\left({\cup}_{i\in I}{N}_{i}\right)={\cup}_{i\in I}{f}^{-1}\left({N}_{i}\right)$;
- v.
- ${f}^{-1}\left({\cap}_{i\in I}{N}_{i}\right)={\cap}_{i\in I}{f}^{-1}\left({N}_{i}\right)$;
- vi.
- $f\left({M}_{i}\right)\subseteq {N}_{j}\Rightarrow {M}_{i}\subseteq {f}^{-1}\left({N}_{j}\right)$;
- vii.
- $g\left[f\left({M}_{i}\right)\right]=\left[gf\right]\left({M}_{i}\right)$ and ${f}^{-1}\left[{g}^{-1}\left({W}_{j}\right)\right]={\left[gf\right]}^{-1}\left({W}_{j}\right)$.

- Suppose ${M}_{1}\subseteq {M}_{2}$ and let $y\in f\left({M}_{1}\right)$. ${C}_{f\left({M}_{1}\right)}\left(y\right)=\sum {C}_{{M}_{1}}\left(x\right)\le \sum {C}_{{M}_{2}}\left(x\right)={C}_{f\left({M}_{2}\right)}\left(y\right)$;
- Note that ${C}_{\cup {M}_{i}}\left(x\right)\ge {C}_{{M}_{i}}\left(x\right)\Rightarrow \sum {C}_{\cup {M}_{i}}\left(x\right)\ge \sum {C}_{{M}_{i}}\left(x\right)$. Then, ${C}_{f(\cup {M}_{i})}\left(y\right)=\sum {C}_{\cup {M}_{i}}\left(x\right)=\sum \vee {C}_{{M}_{i}}\left(x\right)\ge \vee \sum {C}_{{M}_{i}}\left(x\right)=\vee {C}_{f\left({M}_{i}\right)}\left(y\right)={C}_{\cup f\left({M}_{i}\right)}\left(y\right)$;
- Let ${M}_{1}\subseteq {M}_{2}$. Then, $f\left({M}_{1}\right)={N}_{1}\subseteq {N}_{2}=f\left({M}_{2}\right)$. Let $x\in {f}^{-1}\left({N}_{1}\right)$. ${C}_{{f}^{-1}\left({N}_{1}\right)}\left(x\right)={C}_{{N}_{1}}\left(f\left(x\right)\right)=\sum {C}_{{M}_{1}}\left(x\right)\le \sum {C}_{{M}_{2}}\left(x\right)={C}_{{N}_{2}}\left(f\left(x\right)\right)={C}_{{f}^{-1}\left({N}_{2}\right)}\left(x\right)$.
- ${C}_{{f}^{-1}\cup {N}_{i}}\left(x\right)={C}_{\cup {N}_{i}}\left(f\left(x\right)\right)=\vee {C}_{{N}_{i}}\left(f\left(x\right)\right)=\vee {C}_{{f}^{-1}\left({N}_{i}\right)}\left(x\right)={C}_{\cup {f}^{-1}\left({N}_{i}\right)}\left(x\right)$.
- ${C}_{{f}^{-1}\cap {N}_{i}}\left(x\right)={C}_{\cap {N}_{i}}\left(f\left(x\right)\right)=\wedge {C}_{{N}_{i}}\left(f\left(x\right)\right)=\wedge {C}_{{f}^{-1}\left({N}_{i}\right)}\left(x\right)={C}_{\cap {f}^{-1}\left({N}_{i}\right)}\left(x\right)$.
- Let $f\left({M}_{i}\right)\subseteq {N}_{j}$ and $x\in {M}_{i}$ such that $f\left(x\right)=y$. ${C}_{{M}_{i}}\left(x\right)={C}_{f\left({M}_{i}\right)}\left(y\right)\le {C}_{{N}_{j}}\left(y\right)={C}_{{f}^{-1}\left({N}_{j}\right)}\left(x\right)$.
- ${C}_{g\left[f\left({M}_{i}\right)\right]}\left(z\right)=\sum _{{g}^{-1}\left(z\right)\ne \xd8g\left(y\right)=z}{C}_{f\left({M}_{i}\right)}\left(y\right)=\sum _{{g}^{-1}\left(z\right)\ne \xd8g\left(y\right)=z}\sum _{{f}^{-1}\left(y\right)\ne \xd8f\left(x\right)=y}{C}_{{M}_{i}}\left(x\right)==\sum _{gf\left(x\right)=z}{C}_{{M}_{i}}\left(x\right)={C}_{gf\left({M}_{i}\right)}\left(z\right).$

□

The following Examples will illustrate some of the properties in Proposition 7.

Let $X=\{-1,1,2\}$ and $f\left(x\right)={x}^{2}$. Let ${M}_{1}=\{-1,-1,1,12,2\}$, ${M}_{2}=\{1,1,-2,-2,-2\}$, $f\left({M}_{i}\right)={N}_{i};i=1,2$. Then,

$f({M}_{1}\cup {M}_{2})=\{1,1,1,1,4,4,4,4\}$ and $f\left({M}_{1}\right)\cup f\left({M}_{2}\right)=\{1,1,1,1,4,4,4\}.$

This chapter offers some possible applications: we are going to draw our attention to applying “removal and selection” operations defined in Definitions 5 and 6, respectively. Those may be and are used for mathematical sorting and blacklisting.

Informatics understands the expressions blacklist or blocklist as lists containing something forbidden; conversely, the so-called whitelist is used to create a list of entities, which are to be allowed. Server lists (more precisely, their IP addresses) are among of the most common uses; it is unsuitable to receive e-mails from them because they send spams. The blacklist is also used in programs for instant messaging to create a list of users from which the information sent is not to be received; they can also serve for the same purpose on social networks. Similarly, a list of e-mail addresses from which messages are not to be received can be created in an e-mail client or at an e-mail provider.

Both blacklists and whitelists are sometimes used at the same time. A typical case is a situation when a program uses its algorithm; an antispam filter can be used as an example of such a program. It decides according to the e-mail content, whether it is spam. If a user needs to inform the filter that only spams and no useful e-mails are received from a particular e-mail address, he/she places this address on the blacklist. Then, the filter will automatically classify e-mails sent from that address as spams. On the other hand, if a user needs to inform the filter that he/she receives no spams from a particular address or he/she does not want to miss any important e-mail, he/she places this address on the whitelist. Then, the filter will treat all messages from that particular address as useful and will not classify them as spam.

We also used a so-called yellow list containing for instance the IP address list of e-mail servers, which predominantly send non-spam e-mails, however, sometimes there are some spam as well, e.g., yahoo, Hotmail and Gmail. The yellow list comprises servers, which should never appear on the blacklist (for Example because of mistakes or misprints). The yellow list is checked as the first one and if a server is listed there, blacklist tests are ignored afterwards.

Operations such as removal “$\phantom{\rule{0.166667em}{0ex}}\ominus $” and selection “$\phantom{\rule{0.166667em}{0ex}}\u2a00$” and “$\phantom{\rule{0.166667em}{0ex}}\u2a02$” are useful for the above mentioned applications: see previous sections of this paper. See also [6]. Let us give several Examples:

Consider the polynomial $f\left(x\right)={(x-1)}^{2}(x-2){(x-3)}^{3}$. The associated multiset of roots is $F=\{1,1,2,3,3,3\}$. If it is intended to get a polynomial $g\left(x\right)=\frac{f\left(x\right)}{x-2}$, the associated multiset of roots is $G=F\ominus 2=\{1,1,3,3,3\}$. If it is intended to find a factor of the polynomial $f\left(x\right)$ which does not contain the linear factor $x-3$, the multiset $B={\left\{3\right\}}_{{C}_{F}\left(3\right)}=\{3,3,3\}$ is defined and the removal operation $F\ominus B$ is performed.

Consider a unique factorisation of a positive integer N into its primes with the associated multiset of primes
where ${m}_{i}^{\prime}s$ are the multiplicities of ${x}_{i}^{\prime}s$ for $1\le i\le n$. To have a number which is not a multiple of ${x}_{i}$, construct a multiset $B={\left\{{x}_{i}\right\}}_{{m}_{i}}$ and perform $M\ominus B$; to have a number which is just $\frac{N}{{x}_{i}}$, perform $M\ominus {x}_{i}$.

$$M=\{{x}_{1}^{{m}_{1}},{x}_{2}^{{m}_{2}},{x}_{3}^{{m}_{3}},\cdots ,{x}_{n}^{{m}_{n}}\},$$

Again, consider the polynomial $f\left(x\right)={(x-1)}^{2}(x-2){(x-3)}^{3}$ with the associated multiset of roots $F=\{1,1,2,3,3,3\}$. If it is intended to get a polynomial in which all linear factors $(x-3)$ is eliminated, define a subset $B=\{1,2\}$ of $X=\{1,2,3\}$ and perform $F\u2a02B$ and the new polynomial has the associated multiset of roots as $G=F\u2a02B=\{1,1,2\}$. It is another way of getting a polynomial whose only factors are $x-1$ and $x-2$.

If tag numbers were to be given to a set of 20 workers in a manufacturing company from the set of numbers $X=\{1,2,3,4\}$ with which they are allocated into four different work stations, and if the allocation of these personnel is the multiset $A=\{{1}^{6},{2}^{4},{3}^{4},{4}^{6}\}$, the code to blacklist any of the group would consist the selection operation $A\u2a00B$, where B is the subset of X consisting the tag number of the group to be blacklisted. For instance, if the company wishes to blacklist or remove from their payroll everyone carrying the tag number 1 and 2, $B=\{1,2\}$ and $A\u2a00B=\{{3}^{4},{4}^{6}\}$.

The theory of multisets is an important generalization of the classical set theory which has emerged by violating a basic property of classical sets that an element can belong to a set just once. It can be used in many applications, e.g., data encryption, data mining, coding theory, decision making or to write a mathematical programme which could do some sorting of data. The algebraic structure of such data could be studied by applying group theory to a multiset.

On conceptualization, investigation, resources, writing—original draft preparation, writing–review and editing worked both authors equally. Project administration and funding acquisition: Š.H.-M.

The work presented in this paper was supported within the project for Development of basic and applied research developed in the long term by the departments of theoretical and applied bases FMT (Project code: DZRO K-217) supported by the Ministry of Defence the Czech Republic.

The authors also thank the Department of Mathematics of University of Ibadan, and also to Foundation of Chongqing Municipal Key Laboratory of Institutions of Higher Education ([2017]3), Foundation of Chongqing Development and Reform Commission (2017[1007]) and Foundation of Chongqing Three Gorges University.

The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

- Dedekind, R. Essays on the Theory of Numbers; Dover: New York, NY, USA, 1963. [Google Scholar]
- Blizard, W.D. Multiset theory. Notre Dame Form. Log.
**1989**, 30, 36–66. [Google Scholar] [CrossRef] - Blizard, W.D. Dedekind multisets and function shells. Theor. Comput. Sci.
**1993**, 110, 79–98. [Google Scholar] [CrossRef] - Syropoulos, A. Mathematics of Multisets. In WMC 2000: Multiset Processing; Lecture Notes in Computer Science; Springer: Berlin/Hidelberg, Germany, 2001; Volume 2235, pp. 347–385. [Google Scholar]
- Wildberger, N.J. A New Look at Multisets; School of Mathematics, UNSW: Sydney, Australia, 2003; pp. 1–21. [Google Scholar]
- Knuth, D. The Art of Computer Programming, Volume 2: Seminumerical Algorithms; Addison Wesley: Reading, MA, USA, 1981; pp. 453–636. [Google Scholar]
- Nazmul, S.K.; Majumdar, P.; Samanta, S.K. On multisets and multigroups. Ann. Fuzzy Math. Inform.
**2013**, 6, 643–656. [Google Scholar] - Lake, J. Sets, fuzzy sets, multisets and functions. J. Lond. Math. Soc.
**1976**, 12, 211–212. [Google Scholar] [CrossRef] - Onasanya, B.O.; Feng, Y. Multigroups and multicosets. Ital. J. Pure Appl. Math.
**2019**, 41, 251–261. [Google Scholar] - Onasanya, B.O.; Hošková-Mayerovxax, Š. Multi-fuzzy group induced by multisets. Ital. J. Pure Appl. Math.
**2019**, 41, 597–604. [Google Scholar] - Singh, D.; Ibrahim, A.M.; Yohanna, T.; Singh, J.N. An overview of the applications of multisets. Novi Sad J. Math.
**2007**, 37, 73–92. [Google Scholar] - Singh, D.; Ibrahim, A.M.; Yohanna, T.; Singh, J.N. A systemisation of fundamenals of multisets. Lect. Mat.
**2008**, 29, 33–48. [Google Scholar] - Yohanna, T.; Simon, D. Symmetric groups under multiset perspective. IOSR J. Math.
**2013**, 7, 47–52. [Google Scholar] - Ameri, R.; Rosenberg, I.G. Congruences of Multialgebras. Multivalued Log. Soft Comput.
**2009**, 15, 525–536. [Google Scholar] - Anusuya Ilamathi, V.S.; Vimala, J.; Davvaz, B. Multiset filters of residuated lattices and its application in medical diagnosis. J. Intell. Fuzzy Syst.
**2019**, 36, 2297–2305. [Google Scholar] [CrossRef] - Tella, Y.; Daniel, S. Computer representation of multisets. Sci. World J.
**2011**, 6, 21–22. [Google Scholar] - Ameri, R.; Hoskova-Mayerova, S. Fuzzy Continuous Polygroups. In Proceedings of the Aplimat—15th Conference on Applied Mathematics, Bratislava, Slovakia, 2–4 February 2016; pp. 13–19. [Google Scholar]
- Yager, R.R. On the theory of bags. Int. J. Gen. Syst.
**1986**, 13, 23–37. [Google Scholar] [CrossRef]

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).