Function Day-Name-Of

Instance-Of:
Binary-Relation, Function, Relation, Set
Domain: Time-Point
Range: Day-Name
Arity: 2
Documentation: DAY-NAME-of denotes a name of a day of a time point.