"l"-行列とは、すべての対角成分が0より大きい"z"-行列のことを言う。