for S being TopStruct
for l being Block of S
for L being Subset of S st L = l holds
L is strong