Проверить, является ли одно множество подмножеством другого

(defun is-subset-of (s1 s2)
  (cond ((null s2) t)
        ((member (car s2) s1) (is-subset-of s1 (cdr s2)))
        (t nil)))
 
(is-subset-of '(a b c d e f) '(c e f))
==> T
 
(is-subset-of '(a b c d e f) '(c e g))
==> NIL

(defun is-subset (a b)
  (cond ((and (null b) a) t)
        ((member (car b) a) (is-subset (remove (car b) a) (cdr b)))
        (t nil)))
 
(is-subset '(q w e r) '(w r e))
==> T
 
(is-subset '(q w e r) '(w r e q))
==> NIL

(defun ПОДМНОЖЕСТВО1  (a lst)
    (cond ((null lst) nil)
        ((equal (car lst) a) t)
        (t (ПОДМНОЖЕСТВО1 a (cdr lst)))))
 
(defun ПОДМНОЖЕСТВО  (set1 set2)
    (cond ((null set1) t)
        ((ПОДМНОЖЕСТВО1 (car set1) set2) (ПОДМНОЖЕСТВО (cdr set1) set2))
        (t nil)))
 
(print (ПОДМНОЖЕСТВО  '(4 5 6) '(1 2 4 8 6 9 5)))
(print (ПОДМНОЖЕСТВО  '(4 5 -1) '(1 2 4 8 6 9 5)))
(print (ПОДМНОЖЕСТВО  '(4 (5) 2) '(1 2 4 8 6 9 (5))))

(defun is-subset (a b)
  (cond ((and (null b) a) t)
        ((member (car b) a) (is-subset (remove (car b) a) (cdr b)))
        (t nil)))
 
(defun is-proper-subset (a b)
  (cond ((null b) nil)
        ((= (length a) (length b)) nil)
        (t (is-subset a b))))
 
(is-proper-subset '(a b c) '(a c))
==> T
 
(is-proper-subset '(a b c) '(a b c))
==> NIL
 
(is-proper-subset '(a b c) nil)
==> NIL