Domain Representations Induced by Dyadic Subbases (Logical Methods in Computer Science, 2015)