“即Y是正的函数”,这是属于哪一种陈述方式