1. ServiceNow Product Documentation - Domain Separation - Assign users to a domain:
The documentation states, "By default, a user's session domain is determined by the domain of their Company record. You can override this default behavior by explicitly assigning a user to a specific domain... To override the domain that is derived from the user's company, you can explicitly assign a user to a domain. To do this, you populate the Domain field on the user's record." This directly supports the core action described in the correct answer.
2. ServiceNow Product Documentation - Domain Separation - Domain Configuration:
This document explains the fields on the Domain [domain] form, including the "Managed domain" checkbox. It notes that this setting is used to indicate that the domain can be manually selected, which aligns with the process of explicitly assigning a domain to a user or record.