Set algebra for BI