მათემატიკაში, X- ს ორობითი ურთიერთობების R- ს გარდამავალი დახურვა არის X- ის ყველაზე პატარა კავშირი, რომელიც შეიცავს R- ს და გარდამავალია. მაგალითად, თუ X არის აეროპორტების კომპლექტი და x R y ნიშნავს "აეროპორტიდან აეროპორტიდან აეროპორტში პირდაპირი ავიარეისია" (x და y- ში X), მაშინ R- ს X- ის გარდამავალი დახურვა არის R რომ x R y ნიშნავს "შესაძლებელია ერთი და მეტი ფრენის დროს x- იდან იფრინოს". არაფორმალურად, გარდამავალი დახურვა გაძლევთ ყველა ადგილის კომპლექსს, რომელიც შეგიძლიათ მიიღოთ ნებისმიერი დაწყებული ადგილიდან. უფრო ფორმალურად, ორობითი X- ზე ორობითი ურთიერთობების R- ს გარდამავალი დახურვა არის X- ის X- ის გარდამავალი კავშირი R- ს R და R მინიმალური Lidl & Pilz (1998, გვ 337). თუ ორობითი კავშირი გარდამავალია, მაშინ გარდამავალი დახურვა იმავე ორობითი ურთიერთობეაა; სხვაგვარად, გარდამავალი დახურვა არის განსხვავებული ურთიერთობა. [კომპლექტი: მათემატიკა] |