- Hợp tất cả vế phải của các phụ thuộc hàm
- Bao đóng của X ứng với tập F là hợp của vế trái của các phụ thuộc hàm
- Bao đóng của X ứng với tập F là hợp của vế phải của các phụ thuộc hàm
- Thông tin về đối tượng .