The Domain and Relations of Set-Complex Theory