next up previous
Next: 16.3 集合の同等性 Up: 16 集合 Previous: 16.1 集合の基本演算

16.2 集合の包含関係

集合Aが集合Bに含まれるかどうかを調べる関数subsetpを 考えれば， 

(defun subsetp (a b)
  (cond
      ((null a) t)
    ((member (car a) b)
     (subsetp (cdr a) b))
    (t nil)))
という具合に定義できる．
generated through LaTeX2HTML. M.Inaba 平成18年5月7日