In mathematics, it means if and only if