Claramente, B[p] = B(p) ∪ S(p).