is defined as

[ریاضیات] بنا به تعریف، چنین تعریف می کنیم