Definition:Halmos Function