"subseteq" - key terms from Wikipedia