As an example, the formal semantics

As an example, the formal semantics of a signature is provided by a collection of sets (one for each sort of the signature), and a set of relations and functions among them, one for each relation symbol and function symbol in the signature. Hierarchical information between sorts is captured by the ordinary subset inclusion, whereas containment information is denoted by the usual element-of relation.

ผลลัพธ์ (ไทย) 1:

เป็นตัวอย่าง ความหมายอย่างเป็นทางการของลายเซ็นได้ โดยคอลเลกชันของชุด (หนึ่งสำหรับแต่ละประเภทของลายเซ็น), และชุดของความสัมพันธ์และฟังก์ชันในหมู่พวกเขา หนึ่งสำหรับแต่ละสัญลักษณ์ความสัมพันธ์และฟังก์ชันสัญลักษณ์ลายเซ็น ข้อมูลแบบลำดับชั้นระหว่างประเภทจับภาพ โดยรวมชุดย่อยธรรมดา ในขณะที่บรรจุข้อมูลที่สามารถระบุ โดยปกติองค์ประกอบ-ของความสัมพันธ์

ผลลัพธ์ (ไทย) 2:

ตัวอย่างเช่นความหมายอย่างเป็นทางการของลายเซ็นที่ให้บริการโดยคอลเลกชันชุด (ที่หนึ่งสำหรับแต่ละการเรียงลำดับของลายเซ็น) และชุดของความสัมพันธ์และฟังก์ชั่นในหมู่พวกเขาเป็นหนึ่งในสัญลักษณ์ความสัมพันธ์แต่ละฟังก์ชั่นและสัญลักษณ์ในลายเซ็น ข้อมูลลำดับชั้นระหว่างทุกประเภทถูกจับโดยการรวมย่อยธรรมดาในขณะที่ข้อมูลการบรรจุจะเขียนแทนด้วยองค์ประกอบของความสัมพันธ์ปกติ

ผลลัพธ์ (ไทย) 3:

ตัวอย่าง ความหมายอย่างเป็นทางการของลายเซ็นให้คอลเลกชันของชุด ( หนึ่งสำหรับแต่ละประเภทของลายเซ็น ) และชุดของฟังก์ชันและความสัมพันธ์ของพวกเขา สำหรับแต่ละสัญลักษณ์สัญลักษณ์ความสัมพันธ์และฟังก์ชันในลายเซ็น ข้อมูลแบบลำดับชั้นระหว่างประเภทถูกจับโดยรวมย่อยทั่วไปในขณะที่ข้อมูลการแก้ไขเขียนโดยองค์ประกอบปกติของความสัมพันธ์