m-行列はp-行列の族の部分集合であり、また逆行列が正であるような行列の族の部分集合でもある。