for L being non empty RelStr
for S being upper Subset of L
for x being Element of L st x in S holds
uparrow x c= S