directed-complete partial order

• Scott topology
• reflexive dcpo