is complement B a subset of B union A