for U being Universe holds {} in U