Symbol: cap_issubset