元素

可达集R (S)

前因集A (S)

交集C (S)

S1

1

1

1