Nuprl Definition : bsupmset
a ⊇bs b == b ⊆b a
Definitions occuring in Statement :
bsubmset: a ⊆b b
Definitions occuring in definition :
bsubmset: a ⊆b b
Latex:
a \msupseteq{}\msubb{}s b == b \msubseteq{}\msubb{} a
Date html generated:
2016_05_16-AM-07_50_37
Last ObjectModification:
2015_09_23-AM-09_52_19
Theory : mset
Home
Index