实变函数 shíbiànhánshù real-variable function Origin Definitions Defs Strokes Stroke Words Sentences Sents