이 논문은 ω-연산과 ω-관계의 토폴로지와 대수적 연구를 제시한다. 특정 이상 X에 따라 ω-연산 집합에 X-토폴로지를 정의하고, X-다형성과 X-불변 관계를 소개한다. 또한 X-닫힌 ω-클론을 Polω-Invω로 특성화하고, Invω-Polω와 고전적인 Inv-Pol 사이의 관계를 제시한다.
