subidempotent