(1) มีวัตถุประสงค์ที่กำหนดไว้หรือดำเนินการชนิดของระบบหรือคอมโพเนนต์ ตัวอย่างเช่น ระบบอาจมีการควบคุมสินค้าคงคลังเป็น function.~(2) หลักของซอฟต์แวร์โมดูลที่ทำการกระทำที่เฉพาะเจาะจง เรียกตามลักษณะที่ปรากฏของชื่อในนิพจน์ อาจได้รับค่าที่ป้อนเข้า และส่งกลับค่าเดี่ยว