Def/Ordered pair 1