如下所列是有關陣列抽象資料類型（ADT, Abstract Data Type）之敘述：<1>陣列之抽象資料類型（ADT）定義必須使用非負整數表示之索引（Index）值存取陣列之組成元素。<2>陣列之抽象資料類型（ADT）並未限制陣列之維度（Dimension），但定義陣列之各維度大小（Size）必須使用整數表示。<3>陣列之抽象資料類型（ADT）並未定義儲存陣列之組成元素必須配置連續（Consecutive）之記憶 體儲存空間。<4>依據陣列之抽象資料類型（ADT）定義，陣列之所有組成元素必須是相同之資料類型（Data type）。<5>依據陣列之抽象資料類型（ADT）定義，使用索引（Index）值存取陣列之組成元素時，必須檢查索引（Index）值是否有效。請選出最適合之選項：
(A)<1><3>正確；<4>錯誤
(B)<2>正確；<3><5>錯誤
(C)<1><5>錯誤
(D)<2><3>正確