The First Welfare Theorem Definition