が何れも整数となるかまたは何れも分母が2の既約分数である有理数となる四元数全体の成す集合を "a" とする。