Some mathematical background