The distinct operator