(subset-trigger x y) → *
Function: subset-trigger
(defun subset-trigger (x y) (declare (xargs :guard (and (setp x) (setp y)))) (subset x y))
