Для любого конечного множества A, если существует элемент \( a \in A \) такой, что \( a \) принадлежит множеству B, то множество A является подмножеством B.
Опровержение методом перебора.
Рассмотрим два конечных множества:
A = {1, 2, 3}
B = {1, 4, 5}
Элемент \( 1 \) принадлежит множеству A (\( 1 \in A \)) и также принадлежит множеству B (\( 1 \in B \)).
Однако, множество A не является подмножеством множества B, так как элементы 2 и 3 из множества A не принадлежат множеству B.
Следовательно, высказывание неверно.
Высказывание опровергнуто методом перебора.