Definition 6 (Shadow). For AX(r) (1rn), the shadow of A is A=AX(r1) defined by, A={BX(r1):AA,BA}.