Formal properties related domains (1)