Region algebra: some operators
s1 intersect s2 = {r | rÎ s1, r Îs2}
s1 included s2 = {r | rÎs1, $r’ Î s2, r Í r’}
s1 including s2 = {r | rÎ s1, $r’ Î s2, r Ê r’}
s1 parent s2 = {r | rÎ s1, $r’Î s2, r is a parent of r’}
s1 child s2 = {r | rÎ s1, $r’ Î s2, r is child of r’}
Examples:
<subpart> included <part> = { s1, s2, s3, s5}
<part>  including  <subpart> = {p2, p3}