ユニタルリー代数の定義、決定法および例