Upper triangular matrix/Definition