for S being non void non degenerated TopStruct
for L being Block of S holds
not for x being Point of S holds x in L