Reformulated mixing volume to remove the cardinality operator.