Archived tweet #10451 from the @leastfixedpoint Twitter Archive

@elplatt Oops, it's not the usual notation: I should have written something like (U,+,0) for the monoid over (U)tility with addition as the operator and a neutral element 0.