关系

解释

si-sj空间–空间

空间i与j的可达性

fi-fj行为–行为

行为i与j存在关联并购

fi→sj行为–空间

行为i发生在空间j中