Set logic foundation of carrier computing.