let rec are_embedded = function
  ls ->if is_empty_list (ls)
         then true
         else 
           if is_empty_list (tail (ls))
             then true
             else
               if is_subset (head (ls), head (tail (ls)))
                 then are_embedded (tail (ls))
                 else false