= denotes equality. Formally, it is set equality in Zermelo-Frankel set theory.