どっちでも良いと思うけど、性質を式にするような場合は一般化(普遍化)のほうがしっくるくるよね