Let's assume that I want to define the concept of injective function:
A function f is said to be injective if each element of the domain has at most one image.
which would become something like that:
But is there something like 少なくとも一個 (at least one) whose meaning would be at most one. By something like 少なくとも I mean that the word order should be the same (ie. (expression whose meaning is “at most”)一個).