Concept: Code (set theory)