Чтобы доказать, что если \( B \) принадлежит \( A \) и \( C \) принадлежит \( B \), то \( C \) принадлежит \( A \), мы можем воспользоваться принципом подмножества.
Начнем с определения, что означает принадлежность. Если \( B \) принадлежит \( A \) (записывается как \( B \subset A \)), это означает, что все элементы множества \( B \) также являются элементами множества \( A \).
Аналогично, если \( C \) принадлежит \( B \) (то есть \( C \subset B \)), это значит, что все элементы \( C \) также являются элементами \( B \).
Теперь, чтобы показать, что \( C \) принадлежит \( A \) (\( C \subset A \)), мы можем использовать цепочку принадлежностей. Если любой элемент \( x \) является элементом множества \( C \) (то есть \( x \in C \)), то, по определению, он также должен принадлежать множеству \( B \) (так как \( C \subset B \)), то есть \( x \in B \).
Поскольку \( B \) само является подмножеством \( A \) (то есть \( B \subset A \)), мы также можем сказать, что если \( x \in B \), то \( x \in A \).
Таким образом, мы пришли к выводу, что если \( x \in C \), то \( x \in A \). Это означает, что все элементы множества \( C \) являются элементами множества \( A \), что соответствует определению принадлежности.
В итоге, доказано, что если \( B \subset A \) и \( C \subset B \), то \( C \subset A \).
