We establish an Ax-Schanuel theorem for the j-function, which encompasses all "algebraic structure" satisfied by the j-function and its derivatives. The theory of o-minimality features prominently as one of the major tools used.