# 概念推導導讀

299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。

[搜尋全部題目與詳解 →](/zh-Hant/explore/)

1共 1 項 · 第 1／1 頁



概念導讀



## [集合隸屬：x∈A 是命題，並與 ⊆、= 及程式的成員測試區分](/zh-Hant/derivations/derivation-mko-set-membership-01/?from=%2Fzh-Hant%2Fderivations%2F%3Fq%3Dmko-set-membership)

在型別化語境中，設 A={1,2,3}、B={1,2}、𝓕={{1,2},{3}}（元素是整數集合的集合）、E={n∈ℤ ∣ 2∣n}。判定下列命題的真假並給出理由：2∈A；4∈A；B⊆A；A⊆B；B∈𝓕；{1}∈𝓕；1000000∈E；7∈E。並說明 1∈B 與 B∈𝓕 為何不給出 1∈𝓕，以及程式語言的成員測試為何不能取代集合隸屬的語義。

集合隸屬

derivation-mko-set-membership-01





1共 1 項 · 第 1／1 頁