search

FizzyElt / functional-programming

帶你探索 functional programming
https://fizzyelt.github.io/functional-programming/
MIT License
25 stars 0 forks source link

類與集合 #13

Closed dannypsnl closed 1 year ago

dannypsnl commented 1 year ago

本性類跟良性類的翻譯見於 wiki，在一般使用上會直接說「類」表示「本性類」跟「集合」表示「良性類」 ^1

  1. 如果 $A$ 是一個集合，那 $2^A$ 跟 $\mathcal{P}(A)$ 一一對應