nLab
domain semantics

  1. aaa
  2. aaaa

1.

1.