Mathematical relations I

The axiom: Sup[A(k2,k2')]=A(1,1)