Implement set reduction functions