Reduced cardinality of resulting product