Clarified idempotent LUB