Definition 6 (Shadow). For A⊂X(r) (1≤r≤n), the shadow of A is ∂A=∂−A⊂X(r−1) defined by, ∂A={B∈X(r−1):∃A∈A,B⊂A}.