$$f:X\to Y$$