theorem :: BSPACE:37

for X being set
for f being Element of (bspace X) st ex x being set st
( x in X & f = {x} ) holds
f in singletons X ;