при условии

With the constraint X3 = z-1Y3 it can be shown that ...

Источник: Русско-английский научно-технический словарь на Gufo.me