егер жиынындағы предикаттық таңбасы әлемінде қатынас түрінде орынды предикаттық таңба болсын онда жиынындағы қатынас орнағанда