How can I build a condition in mathematical language?