CompBROpSubset exists