equivalence operation, IF-AND-ONLY-IF operation;
kendalian kesetaraan, kendalian JIKA-DAN-HANYA-JIKA.