Nuprl Definition : stable-union
stable-union(X;T;i,x.P[i; x]) == {x:X| ¬¬(∃i:T. P[i; x])}
Definitions occuring in Statement :
exists: ∃x:A. B[x],
not: ¬A,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
not: ¬A,
exists: ∃x:A. B[x]
FDL editor aliases :
stable-union
Latex:
stable-union(X;T;i,x.P[i; x]) == \{x:X| \mneg{}\mneg{}(\mexists{}i:T. P[i; x])\}
Date html generated:
2020_05_19-PM-09_36_13
Last ObjectModification:
2019_10_24-AM-09_54_59
Theory : int_1
Home
Index