Рівносильності та означення