:: deftheorem defines closed_under_lines PENCIL_1:def 2 :
for S being TopStruct
for T being Subset of S holds
( T is closed_under_lines iff for l being Block of S st 2 c= card (l /\ T) holds
l c= T );