integrally closed ordered group

1. REDIRECT Partially ordered group#Integrally closed

{{r from merge}}

{{r to section}}