在这里详述 集合、关系和语言.