This notion was introduced by Babai (1985).
Babai (1985)によって導入された。