Свойство \(P \Rightarrow Q\) — только необходимое условие. Признак \(P \Leftrightarrow Q\) — необходимое И достаточное условие сразу, классы совпадают. Определять понятие можно только через признак.