Связь между языками программирования

Меня интересовали следующие вопросы:

1. Что это означает " какой-то язык подмножество / надмножество другого "? Может это определиться по математике? Это относящиеся к подмножеству / надмножеству в теории элементарных множеств?

2. Практически все существующие языки реализовано / написано в небольшом количество языков низкого уровня? За например, большинство языков написаны в C? Написан ли C ++ на C?

   Есть ли какая-то связь между отношения реализации и концепция подмножества / надмножества языков?

3. Что касается языковых функций, некоторые языков больше, чем в некоторых других. В некоторых случаях у некоторых есть все особенности некоторых других, например, обладает ли C ++ всеми функциями C?

   Есть ли какая-то связь между отношение подмножество / надмножество с точки зрения набор функций и отношение подмножества / надмножества между языков?

4. Есть ли другие аспекты, которые охарактеризовать отношения между языки?

С уважением и уважением!