User blog comment:89Pepsi Polka/the hyper-square hierarchy/@comment-31663462-20180219135134

Why the min before the sup? $$\min\sup A=\sup A$$.