Defining the sequencc spaces CO(F), C(F), nı(F), l (F); (p > 1) and y (F) över a field F vvith non-trivial non-archimediaıı valuation, inclusion theorenıs have been established for an infinite matrix defined över a field F to transform (i) l (F) into y (F), (iı) V into y (F) where V is either Co (F) or C (F) or m (F), and (îii) y (F) into m (F).