theorem :: RLTOPSP1:29

for X being non empty RLSStruct
for F being circled-membered Subset-Family of X holds union F is circled