Formally, an information system is

Formally, an information system is a pair S = (U, A) where U is a non-empty finite set of objects called the universe and A is a non-empty finite set of attributes such that a∶U → Va for every a∈A. The set Va is called the value set of a.

Kết quả (Việt) 1:

Chính thức, một hệ thống thông tin là một cặp S =  (U, A) nơi U là một tập hữu hạn-trống của các đối tượng được gọi là vũ trụ và A là một tập hữu hạn các phòng không có sản phẩm nào thuộc tính như vậy đó a∶U → Va cho mỗi a∈A. Va thiết lập được gọi là các thiết lập giá trị của một.

Kết quả (Việt) 2:

Chính thức, hệ thống thông tin là một cặp S =  (U, A) mà U là một tập hợp hữu hạn không có sản phẩm nào của các đối tượng được gọi là vũ trụ và A là một tập hợp hữu hạn không rỗng các thuộc tính như vậy mà a: U → Va cho mỗi một ∈   A. Tập Va được gọi là thiết lập giá trị của a.