In my article, I have a plethora of definitions, all of which I have placed in "definition" environments, so that they look like this:
Definition 1.5.2. The foo designator and bar designator denote the strings 'foo' and 'bar' respectively. Let w be a word in the foobar language such that w contains the foo designator as a prefix and the bar designator as a suffix. Then we say w is totally foobar.
The problem is that my paper is strewn with definition environments. I wonder whether a way around this might be to use definition environments for only the most important objects, specifically those to which I will later refer by their definition numbers.