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