for GX being TopStruct
for R being Subset of GX holds
( R is boundary iff R c= Fr R )