Streamlined definition of rectifier, addedcomment

Streamlined definition of rectifier.  Also, our definition of
"admissible (T,\xi)" is probably not correct, as I explain in a comment
after our proposed definition.