for L being complete LATTICE
for A being Subset of L st A is upper & A in xi L holds
A in sigma L