Definition of Householder