ℚ valued function

Function

context $ X $
definiendum $ \mathrm{it}\equiv X \to \mathbb Q $

Discussion

Parents

Subset of

ℝ valued function

Requirements

Integer