VDM++ の set 型には、２つの集合の和集合/積集合（共通集合）を定義できます。数学の世界では、２つの集合 A および B の和集合を A∪B で、積集合を A∩B で表現します。VDM++ では、次のように表現します。
{1, 2} union {2, 3} ==> {1, 2, 3}２つの集合の「どちらかに」含まれる要素を列挙した、和集合は {1, 2, 3} になります。
{1, 2} inter {2, 3} ==> {2}２つの集合の「どちらにも」含まれる要素を列挙した、積集合は {2} になります。
