2020年网络华南理工大学离散数学设r是x到y上的关系,则一定有( )

根据题目中的条件，我们已知2020年网络华南理工大学离散数学设r是从集合x到集合y上的关系。根据数学中的定义，一个关系是一个集合，其中包含了所有满足某个条件的有序对。

在这种情况下，r可以被表示为一个集合，其中每个元素都是一个有序对，包含来自x的元素和来自y的元素。

根据题目中的信息，并没有给出r的具体定义或条件。因此，对于关系r，我们无法确定是否一定存在某些特定的性质。

所以，答案是，我们无法确定一定有什么性质。要回答这个问题，我们需要更多关于r的信息。