let
strict_subset u v = subset u v
&&
not (equal u v)