uniqueness quantification

logical quantification stating that a statement holds for exactly one object

دسته بندی ها: