ord_setproduct(+Set1, +Set2, ?SetProduct)

is true when SetProduct is the cartesian product of Set1 and Set2. The product is represented as pairs Elem1-Elem2, where Elem1 is an element from Set1 and Elem2 is an element from Set2.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 ord_del_element(Arg1, Arg2, Arg3)

 ord_selectchk(Arg1, Arg2, Arg3)

 ord_union(Arg1, Arg2, Arg3, Arg4)

 ord_add_element(Arg1, Arg2, Arg3)

 list_to_ord_set(Arg1, Arg2)

 ord_intersect(Arg1, Arg2, Arg3)

 is_ordset(Arg1)

 ord_subtract(Arg1, Arg2, Arg3)

 ord_intersection(Arg1, Arg2, Arg3)

 ord_intersection(Arg1, Arg2)

 ord_empty(Arg1)

 ord_seteq(Arg1, Arg2)

 ord_memberchk(Arg1, Arg2)

 ord_symdiff(Arg1, Arg2, Arg3)

 ord_subset(Arg1, Arg2)

 ord_union(Arg1, Arg2)

 ord_intersection(Arg1, Arg2, Arg3, Arg4)

 ord_union(Arg1, Arg2, Arg3)

 ord_disjoint(Arg1, Arg2)

 ord_intersect(Arg1, Arg2)