Likt et axiome framställer U.