Это не определение, а следствие независимости. Придётся найти определение.