コンパクトリー代数:定義、決定法および性質