|
 |
 |
 |
 |
 |
• |
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’}
|
|
|
|