codomains