[#論理学](論理学) "if and only if"の略。[[同値関係]]。 数学では[[必要十分条件]]