Differences

This shows you the differences between two versions of the page.

Link to this comparison view

finite_subset [2013/05/23 22:22]
nikolaj
finite_subset [2014/03/21 11:11]
Line 1: Line 1:
-===== Finite subset ===== 
-==== Definition ==== 
-| $X$ |  
- 
-^ $ Z\in \text{Fin}(X) $ ^ 
- 
-The set of finite subsets of $X$ 
- 
-| $ Z\in \mathcal P(X) $ | 
- 
-^ $\text{isFinite}(Z)$ ^ 
- 
-==== Ramifications ==== 
-=== Reference === 
-Mizar: [[http://​mizar.org/​JFM/​Vol1/​finsub_1.html|FINSUB_1]] 
- 
-==== Context ==== 
-Set constructor 
-=== Subset of === 
-[[Power set]] 
-=== Parents === 
-[[Finite sequence]] 
  
Link to graph
Log In
Improvements of the human condition