属性信息

definition

c involved_in p if and only if c enables some process p', and p' is part of p

属性关系