It was introduced in unpublished work of Eliyahu Rips in about 1991.
這是Eliyahu Rips於1991年左右在未發表的工作中引入的。