for A being 2 -element set
for a, b being Element of A st a <> b holds
id A = {[a,a],[b,b]}