Can mathematical definitions of form "P if Q" mean "P if and only if Q"? (2012) (stackexchange.com)