 Matching-outcome projector

For two labelled orthonormal bases, the event of equal labels is represented by ${\sum }_j|x_j{y}_j⟩⟨x_j{y}_j|$.