Richard Dedekind: Was sind und was sollen die Zahlen? Vieweg, Braunschweig 1888, § 1.2, Zitat: „Das System S ist daher dasselbe wie das System T, in Zeichen S=T, wenn jedes Element von S auch Element von T und jedes Element von T auch Element von S ist.“ online.