英文互译镜像站

Relation construction

Last updated

In logic and mathematics, relation construction and relational constructability have to do with the ways that one relation is determined by an indexed family or a sequence of other relations, called the relation dataset. The relation in the focus of consideration is called the faciendum. The relation dataset typically consists of a specified relation over sets of relations, called the constructor, the factor, or the method of construction, plus a specified set of other relations, called the fascines, the ingredients, or the makings.

See also

伪原创镜像站 镜像站群 开源整站镜像工具 网站克隆 蚂蚁超级镜像