[4]
[[関係]]においてその[[成分]]を指定するものを[DFN[[[属性]]]]といいます。

[5]
ある[[属性]] [CODE(math)@en[[VAR@en[A[SUB[[VAR[i]]]]]]]] によって指定された[[ドメイン]]を、
[DFN[[CODE(math)@en[dom ([VAR@en[A[SUB[[VAR[i]]]]]])]]]]
と書きます。