User blog comment:C7X/Supremum Method for Defining an OCF/@comment-35470197-20200114061905/@comment-37485018-20200114143438

I changed 2 things in my new edit:


 * 1) There is now a LeastUpperBound function so that LeastUpperBound({0,1,2})=3
 * 2) I restricted the intersection in the last line