Index - U
| union | Ersatz.Relation |
| unique_nfs | Ersatz.Relation |
| unique_nfs_reduction | Ersatz.Relation |
| universals | Ersatz.Problem, Ersatz |
| universe | Ersatz.Relation |
| universeSize | Ersatz.Relation |
| Unsatisfied | Ersatz.Solution, Ersatz |
| Unsolved | Ersatz.Solution, Ersatz |