As we can see,there are some conditions given in a proposition. If there are 2 propositions having approximate conclusions.Usually,we can name one propositions gives more rigorous stronger conditions than the other. My question is that whether there is a good system to weigh the conditions given in a proposition.e.g. a condition "uniform convergence"is stricterstronger than a condition"convergence". Can we give each condition a value to show their importancesharpness?