The constructivist in me thinks we could define it inductively :)