Added some invariants.

@isupeene Can't figure out how transitivitiy and symmetry would work as invariants as those qualities apply to operations and not to a matrix itself so I'm not sure what Miller was talking about.
Added.