UDP starts by naming the local endpoint numbers on each side.
Ports name local endpoints
A UDP header begins with two port fields. In this toy datagram, those fields name the sending endpoint and the receiving endpoint.
source port=40000,destination port=53
Source port
The source port is 40000. It is a field in the UDP header, not a process lookup.
source port=40000
Destination port
The destination port is 53. At this toy level, that is the socket-side name the receiver checks.
destination port=53
Summary
UDP ports are exact header fields. This book does not model process discovery, firewall behavior, or NAT behavior.
40000→53