(K,+_K)