En terminología matemática, esta característica se define como cierre, y la lista anterior se describe como.