lisp - 適切なサブセットの確認

Question

aリストがリストの適切なサブセットであるかどうかを確認できる関数が必要ですb。これまでの私のコードは次のとおりです。

(defun proper-subset (a b)
    (cond
    (( or (null b)(null b)) nil)
    ((equal a b) nil)
    ((find (car a) b) (proper-subset (cdr a) b))
   )
)

findの各要素が にあることを確認しaますb。anull引数にもいくつかの作業が必要であることは知っていますが、のすべての要素がいつ見つかり、b別の要素があるかを判断する方法を見つけようとしてbいます。これをはるかに簡単にする関数が組み込まれていますが、これは宿題の質問なので、自分で作成する必要があります。ヒントや提案をいただければ幸いです。