let A be array; :: thesis: ( A = {[a,x]} implies A is X -valued )
assume A = {[a,x]} ; :: thesis: A is X -valued
then rng A = {x} by FUNCT_5:12;
hence rng A c= X by ZFMISC_1:31; :: according to RELAT_1:def 19 :: thesis: verum