[GC3-9-4-1-1] Membership functions

Maybe in BoK: Check

Introduction

[AI4-5-2-1] 

AM2-1Set theory mentions this concept

Outgoing relations