Some formulas and definitions