Nuprl Definition : fset-pairwise
fset-pairwise(x,y.R[x; y];s) == fset-null({x ∈ s | ¬bfset-null({y ∈ s | ¬bR[x; y]})})
Definitions occuring in Statement :
fset-null: fset-null(s),
fset-filter: {x ∈ s | P[x]},
bnot: ¬bb
Definitions occuring in definition :
fset-null: fset-null(s),
fset-filter: {x ∈ s | P[x]},
bnot: ¬bb
FDL editor aliases :
fset-pairwise
Latex:
fset-pairwise(x,y.R[x; y];s) == fset-null(\{x \mmember{} s | \mneg{}\msubb{}fset-null(\{y \mmember{} s | \mneg{}\msubb{}R[x; y]\})\})
Date html generated:
2016_05_14-PM-03_42_29
Last ObjectModification:
2015_10_06-PM-01_35_59
Theory : finite!sets
Home
Index