元素
可达集R (S)
前因集A (S)
交集C (S)
S1
1, 2, 3
1
1
S2
2
1, 2
2
S3
3
1, 3
3