residually finite 1 конечно-аппроксимируемый 2 финитно-аппроксимируемый Англо-русский словарь морских терминов