theorem Th2: :: NOMIN_2:2

for a, b, c, d, e, f being object holds dom {[a,b],[c,d],[e,f]} = {a,c,e}