Kann KI Know if a Relation Is a Function?