Nuprl Definition : fset-intersection
a ⋂ b == {x ∈ a | x ∈b b}
Definitions occuring in Statement :
fset-filter: {x ∈ s | P[x]},
deq-fset-member: a ∈b s
Definitions occuring in definition :
fset-filter: {x ∈ s | P[x]},
deq-fset-member: a ∈b s
FDL editor aliases :
fset-intersection
Latex:
a \mcap{} b == \{x \mmember{} a | x \mmember{}\msubb{} b\}
Date html generated:
2016_05_14-PM-03_40_01
Last ObjectModification:
2015_10_06-PM-01_37_00
Theory : finite!sets
Home
Index