Отношение подчинения в логике