Iff (mathematics)