weak substitutability

Мат. слабая заменяемость