Biểu diễn khóa của ánh xạ đóng

Báo cáo trình bày kỹ thuật thu gọn hệ sinh cho các ánh xạ đóng nhằm nâng cao hiệu quả tính toán các đối tượng liên quan như ảnh, khóa... Kết quả chủ yếu của báo cáo bao gồm việc xây dựng và chứng minh công thức biểu diễn ảnh và khóa của ánh xạ đóng thông qua phép thu gọn hệ sinh, phát biểu và chứng minh điều kiện cần và đủ để bảo toàn tập các khóa của ánh xạ đóng thông qua phép thu gọn hệ sinh.