Can AI know if a relation is a function?