幂等余 Quantale
멱등여 Quantale
The indempotent coquantale