copilothow to write domain in set notation - Search