ord_seteq/3

ord_seteq(+ Set1, + Set2)*

Holds when the two arguments represent the same set.