**Defined in theory: Dme-cml****Source code: dme-cml.lisp**

**Documentation:**?SET is a set of fluents. They all have the same value at the given ?TIME.

**Arity:**2**Range:**Set

(<=> (All= ?Time ?Set) (Forall (?E1 ?E2) (=> (And (Member ?E1 ?Set) (Member ?E2 ?Set)) (= (Value-At ?E1 ?Time) (Value-At ?E2 ?Time)))))