let subset s t = is_empty (diff s t)