Determining if a diagram defines a function