9.10. Теорема

Произвольные проекции произвольной ВС на произвольные базисы всегда имеют произведение, то есть являются И-связаныыми, находятся в И-отношении

Доказательство

Для того, чтобы не существовало произведение хотя бы пары таких проекции надо, чтобы их базисы пересекались, причем хотя бы одна из общих переменных имела такие множества значений, в которых одно принадлежит только первой проекции, а другое - только второй.

Но это, очевидно, невозможно, поскольку в проекцию попадают все значения.

Назад Вперёд