I misread this as teflon pants and thought "pretty specialty purpose but I bet it'd make cleanup easy"...
Teflon is Du Pont's brand name for polytetrafluoroethylene. Gore-Tex is Gore & Associates's brand name for thermo-mechanically expanded polytetrafluoroethylene. Gore-Tex is commonly used to make pants. Given that you wrote "Teflon" in lower-case, they probably qualify as "teflon pants" to you.