Manuals/calci/UNION

UNION(GivenSet1,GivenSet2)

• where $GivenSet1,GivenSet2$ are the arrays for which union is to be found.

Description

• This function is used to display the union of the given two arrays.
• Union is the set that contains elements or objects that belong to either GivenSet1 or to GivenSet2 or to both.
• UNION function will consider text, numbers, or any special characters like @,&...
• Input other than numbers should be given in quotes.

Examples

• UNION(["a","b"],["a","b","c","&"])=a b c &
• UNION([],[1,2,3,4])=1 2 3 4
• UNION([5],[1,2,3,4])=5 1 2 3 4

See Also

• INSET
• ODDSET
• SUBSET

References

• Set

• List of Main Z Functions
• Z3 home