当且仅当

if and only if