固定したnに関して、

　　すべてのn次（対称）行列Aの対して、性質expr(A)が成立つ

ことを、ForAllを使って調べたいのですが、
「全ての行列」ってどう表現すればよいか
どなたか教えてもらえますか。