381 - Formalize attribute values and domains in terms of set theory

Formalize attribute values and domains in terms of set theory