Description: Law of well-founded recursion over a partial order, part three. Finally, we show that F is unique. We do this by showing that any function H with the same properties we proved of F in fpr1 and fpr2 is identical to F . (Contributed by Scott Fenton, 11-Sep-2023)